end
class U
-special T
+ super T
end
class V
-special T
+ super T
end
class W
-special U
-special V
+ super U
+ super V
end
+fun maybe: Bool do return true
+
var a = new A
var t: T = new T
y = a.foo !bar do break v
y = a.foo !bar do break w
y = a.foo !bar do
+ if maybe then
break t
+ else if maybe then
break u
+ else if maybe then
break v
+ else if maybe then
break w
+ end
end
y = a.foo !bar do
+ if maybe then
break u
+ else if maybe then
break v
+ else if maybe then
break w
+ end
end