Print control guards correctly

Removed output of control flow and activity node comments at top of
file. Got the control guards to print without extra printing, except the
'else' sometimes comes before the other statements. TODO: ensure value
spec action is being printed out correctly.