id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
102	add concrete versions of primitive and array values	Stephen Siegel	Stephen Siegel	Concrete versions of primitive and array values can be added.    They should be used whenever possible.  A symbolic representation should be created only when it is absolutely necessary.    This is to minimize calls to the theorem prover.	enhancement	closed	major		value	1.0	wontfix	value concrete array