id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
20	illegal reading of output variable	Stephen Siegel	zirkel	In arrayloopImpl (maybe spec too?), the output variable C is read in function main.   This is illegal.  Output variables can only be written to (and input variables can only be read.)  Please fix here and make sure this rule is followed in other examples.   The verifier should complain if you try to do that. 	defect	closed	major		examples	1.0	fixed	output arrayloop