id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
194	nestedLoops: inconclusive result in v1.0	Stephen Siegel	ywei	Can you take a look at the nestedLoops example and see if you can figure out why TASS v1.0 is unable to prove equivalence.  I am wondering if it is because the query that ultimately gets passed to CVC3 is in a form that is too mangled.  (If that's the problem, it could easily be fixed.)  If you run in verbose or debug mode and compare with v0.9 you can probably figure out the source of the problem.	defect	closed	major	Release 1.0	examples	1.0	fixed