text associated to branch statements

[Stephen Siegel]

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.

[ywei]

Fixed. The branch statements now associate with correct source program fragments.