id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
214	Simplifier: x=y && y=2 does not simplify correctly on x	dfix	Stephen Siegel	Creating a simplifier with the assumptions x=y and y=1, and then simplifying on x, results in x.  Simplifying on y, however, correctly results in 1.	enhancement	closed	major	Release 1.0	symbolic	1.0	fixed	simplifier