id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
128	Assume implementation error	zirkel		DFS does not backtrack when an assumption makes a condition false.  See the simpleAssume example.	defect	closed	major		semantics		fixed	search, dfs, assume, path condition