X-Git-Url: http://nitlanguage.org

diff --git a/tests/base_isa_cast.nit b/tests/base_isa_cast.nit
index 9a0adc5..b52633d 100644
--- a/tests/base_isa_cast.nit
+++ b/tests/base_isa_cast.nit
@@ -20,13 +20,13 @@ class A
 	init do end
 end
 class B
-special A
-	meth foo do 0.output
+	super A
+	fun foo do 0.output
 	init do end
 end
 class C
-special B
-	meth bar do 1.output
+	super B
+	fun bar do 1.output
 	init do end
 end
 
@@ -55,5 +55,17 @@ if a isa B or a == a then
 #alt4#	a.foo
 end
 
+if not (not a isa B or a == a) then
+	a.foo
+end
+
+if a isa B implies a == a then
+#alt7#	a.foo
+end
+
+if not (a isa B implies a == a) then
+	a.foo
+end
+
 assert a isa B
 a.foo