diff --git a/src/test/resources/regression/genc/valid/Aliasing3.scala b/src/test/resources/regression/genc/unverified/Aliasing3.scala
similarity index 100%
rename from src/test/resources/regression/genc/valid/Aliasing3.scala
rename to src/test/resources/regression/genc/unverified/Aliasing3.scala
diff --git a/src/test/resources/regression/genc/valid/Aliasing4.scala b/src/test/resources/regression/genc/unverified/Aliasing4.scala
similarity index 100%
rename from src/test/resources/regression/genc/valid/Aliasing4.scala
rename to src/test/resources/regression/genc/unverified/Aliasing4.scala
diff --git a/src/test/resources/regression/genc/valid/Inheritance9.scala b/src/test/resources/regression/genc/unverified/Inheritance9.scala
similarity index 100%
rename from src/test/resources/regression/genc/valid/Inheritance9.scala
rename to src/test/resources/regression/genc/unverified/Inheritance9.scala
diff --git a/src/test/resources/regression/genc/valid/LinearSearch.scala b/src/test/resources/regression/genc/unverified/LinearSearch.scala
similarity index 100%
rename from src/test/resources/regression/genc/valid/LinearSearch.scala
rename to src/test/resources/regression/genc/unverified/LinearSearch.scala
diff --git a/src/test/resources/regression/genc/unverified/UsingConcreteClasses.scala b/src/test/resources/regression/genc/valid/UsingConcreteClasses.scala
similarity index 93%
rename from src/test/resources/regression/genc/unverified/UsingConcreteClasses.scala
rename to src/test/resources/regression/genc/valid/UsingConcreteClasses.scala
index 8725a6e20..434c01d3f 100644
--- a/src/test/resources/regression/genc/unverified/UsingConcreteClasses.scala
+++ b/src/test/resources/regression/genc/valid/UsingConcreteClasses.scala
@@ -13,7 +13,7 @@ object UsingConcreteClasses {
 
     if (child.opt.v == 42) 0
     else 1
-  }
+  } ensuring { _ == 0 }
 
   @extern
   def main(args: Array[String]): Unit = _main()