id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6	text associated to branch statements	Stephen Siegel	ywei	"For branch statements (if (expr) S1 else S2) the text associated to the two ""noop"" transitions is all of S1 (for the true branch) or all of S2 (for false).  For example:

impl.mmp line 21 proc 0 [4->5] ""{			hi = i + B;	    }"" [true]

This is problematic because (a) that could be a lot of text, and (b) that is not the statement that gets executed when the noop transition is executed.

It would be better to label both transitions with the text ""if (expr)"".  When the statement is printed, it will automatically append ""[true]"" or ""[false]"".  This is the same way it works for while loops."	enhancement	closed	minor		front	1.0	fixed	branch