id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
78	Class cast exception in matmat-par_2_2_2.mmp	ywei	Stephen Siegel	"the command is:
tass verify matmat-par_2_2_2.mmp -np 2

and I got this exception
java.lang.ClassCastException: edu.udel.cis.vsl.minimp.value.impl.SymbolicValue
	at edu.udel.cis.vsl.minimp.semantics.impl.Evaluator.referenceValue(Evaluator.java:79)
	at edu.udel.cis.vsl.minimp.semantics.impl.Executor.executeInvocation(Executor.java:170)
	at edu.udel.cis.vsl.minimp.semantics.impl.Executor.executeInvocation(Executor.java:185)
	at edu.udel.cis.vsl.minimp.semantics.impl.Executor.execute(Executor.java:73)
	at edu.udel.cis.vsl.minimp.verify.std.StateManager.nextState(StateManager.java:74)
	at edu.udel.cis.vsl.minimp.verify.std.StateManager.nextState(StateManager.java:19)
	at edu.udel.cis.vsl.minimp.search.DfsSearcher.proceedToNewState(DfsSearcher.java:141)
	at edu.udel.cis.vsl.minimp.search.DfsSearcher.search(DfsSearcher.java:102)
	at edu.udel.cis.vsl.minimp.search.DfsSearcher.search(DfsSearcher.java:88)
	at edu.udel.cis.vsl.minimp.verify.Verification.verify(Verification.java:90)
	at edu.udel.cis.vsl.minimp.Minimp.verify(Minimp.java:441)
	at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:535)

It looks like the program was trying to cast a symbolic value to a reference value."	defect	closed	major		semantics	1.0	fixed