end
class B
-special A
- meth unreasheable
+ super A
+ fun unreasheable
do
var a: A
a = new B
end
class C
-special A
+ super A
init do end
end
-var a: A
-var ab: A
-var b: B
-a = new A
-ab = new B
-b = new B
+var a: A = new A
+var ab: A = new B
+var b: B = new B
+
+
+
(not(a == b)).output
(a == a).output
(a isa A).output