diff --git a/src/test/scala/leon/test/purescala/DefOpsTests.scala b/src/test/scala/leon/test/purescala/DefOpsTests.scala
index f6a062f1652b762c0401ca13c5ade3a4b5b1cfdd..380973e6357d41cd52f91f97c421c33ff3c86c50 100644
--- a/src/test/scala/leon/test/purescala/DefOpsTests.scala
+++ b/src/test/scala/leon/test/purescala/DefOpsTests.scala
@@ -10,19 +10,16 @@ import frontends.scalac._
 import utils._
 import leon.test.LeonTestSuite
 
-private [purescala] object DefOpsHelper { 
+private [purescala] object DefOpsHelper extends LeonTestSuite { 
   private def parseStrings(strs : List[String]) : Program = {
     val settings : Settings = Settings(
       verify = false
     )
-    val reporter = new DefaultReporter(settings)
-    val context : LeonContext = LeonContext(
-      reporter,
-      new InterruptManager(reporter),
-      settings,
-      Seq()
+    val c = createLeonContext()
+    val context : LeonContext = c.copy(settings = 
+      c.settings.copy(verify = false)
     )
-    
+      
     val pipeline = 
       ExtractionPhase andThen 
       PreprocessingPhase