class A
- readable writable var _val: Int = 0
+ var val: Int = 0
fun hop(a: A, b: A, c: A)
do
if a.val > val then
end
class B
-special A
+ super A
redef fun val: Int
do
return 1
end
class C
-special A
+ super A
redef fun val: Int
do
return 2
end
class D
-special A
+ super A
redef fun val: Int
do
return 3