id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
56	mean: null pointer exception	zirkel	ywei	"Running verify on meanImpl_2.mmp gives the following: 

Exception in thread ""main"" java.lang.NullPointerException
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processSpecExpr(ModelBuilder.java:1070)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:912)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processBinaryExpr(ModelBuilder.java:937)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:892)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processBinaryExpr(ModelBuilder.java:936)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:892)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processWhileStmt(ModelBuilder.java:859)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatement(ModelBuilder.java:539)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatementList(ModelBuilder.java:483)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processFunctionBody(ModelBuilder.java:445)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processFunctions(ModelBuilder.java:420)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processAST(ModelBuilder.java:274)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.buildModel(ModelBuilder.java:267)
	at edu.udel.cis.vsl.minimp.Minimp.verify(Minimp.java:398)
	at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:506)
"	defect	closed	major		front	1.0	fixed	mean, examples, front, exception, null pointer, verify