id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
211	don't check for deadlocked states when not necessary	Stephen Siegel		"No need to check for deadlock at a statement that can't block, like an ""if"" or ""while"".  Right now we are checking the "" p || !p "" query at these states."	enhancement	new	major	Release 1.0	verify	1.0