id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
178	Number of bound variables in a symbolic quantifier expression	ywei	Stephen Siegel	Currently, only one bound variable is allowed in each symbolic quantifier expression. In CVC3 API, a quantifier (forall or exists) expression takes a list of bound variables. Do we need to change the symbolic quantifier expression to allow multiple bound variables?	enhancement	closed	minor		symbolic	1.0	wontfix