import kernel
+fun maybe: Bool do return true
+
1.output
do
2.output
do
3.output
do end label l3
+ if maybe then
#alt1#break label l2
#alt2#break label l3
#alt3#break label l4
#alt4#break
#alt5#continue label l1
- break label l1
+ end
+ if maybe then break label l1
4.output
end label l2#!alt6#
#alt6#end label l1