id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
105	Add support for new statements: pushassumption, popassumption	zirkel		"Environment should maintain a stack of assumptions.  Suppose the current assumption is p, and you then call: 

{{{pushassumption(q);}}}

The new assumption is {{{p && q}}}.

Calling:

{{{popassumption();}}}

makes the assumption again p.
"	enhancement	closed	minor		multiple		wontfix