class A
end
-fun rand: Bool = true
+fun rand: Bool do return true
fun eat_na(a: nullable A) do if a == null then 0.output else 1.output
fun eat_a(a: A) do 2.output
-fun get_a: nullable A = new A
-fun get_na: nullable A = null
+fun get_a: nullable A do return new A
+fun get_na: nullable A do return null
var a = get_na
while a == null do
end
eat_na(a)
eat_a(a)
+
+a = get_a
+do
+ eat_na(a)
+ if rand and a != null then
+ eat_a(a)
+ break label doblock
+ end
+ abort #alt4#
+end label doblock
+eat_na(a)
+eat_a(a)
+