id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
263	False guards are not getting reported as a deadlock	zirkel	Stephen Siegel	For system functions with guards, if the guard cannot be true it should be reported as a deadlock.	defect	closed	major		verify	1.1	fixed