end
class B
-special A
+ super A
fun foo(i: Int) do i.output
init do end
end
#alt1#a.foo(1)
a = new B
-assert a isa B
+
a.foo(2)
if maybe then
else
#alt2#a.foo(2)
a = new B
-assert a isa B
+
a.foo(3)
if maybe then
a = new A
#alt3#a.foo(3)
a = new B
-assert a isa B
+
a.foo(4)
if maybe then
else
a.foo(4)
a = new B
-assert a isa B
+
a.foo(5)
if maybe then
a = new A
#alt4#a.foo(5)
a = new B
-assert a isa B
+
a.foo(6)
if maybe then
end
a.foo(6)
a = new B
-assert a isa B
+
a.foo(7)
while not maybe do
#alt5#a = new A
a.foo(7)
a = new B
-assert a isa B
+
a.foo(8)
while not maybe do
end