id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
11	improve handling of counterexamples	Stephen Siegel	Stephen Siegel	"A lot of violations are dealt with by throwing exceptions.  It would better to deal with them normally, returning ""true"" and storing in the predicate a helpful message explaining the nature of the violation.  This may involve augmenting the predicate interface."	enhancement	closed	major		search	1.0	fixed