end
class B
-special A
+ super A
fun foo(i: Int) do i.output
init do end
end
if not a isa B then
#alt4#a.foo(-4)
a = new B
- assert a isa B
+
a.foo(3)
end
a.foo(4)
while not a isa B do
#alt7#a.foo(-7)
a = new B
- assert a isa B
+
a.foo(6)
end
#alt8#a.foo(7)