id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
145	Add simplify method to SymUniverseIF	Stephen Siegel	ywei	"Need method in SymUniverseIF:
{{{
SymExpression simplify(SymExpression assumption, SymExpression expression);
}}}
"	enhancement	closed	major		symbolic	1.0	fixed	simplify symbolic