id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
267	collective assertion not getting added to model in unbalanced1.c	Stephen Siegel	zirkel	"See unbalanced 1.c and run accompanying JUnit test.  It looks like no collective assertion is getting added to model in the situation
{{{
if (...) {
#pragma TASS ...
}
}}}
i.e., with an empty statement for if.

Do we have something like a ""skip"" or ""noop"" statement?"	defect	closed	major	1.1	front	1.1	fixed	collective assertion unbalanced