diff --git a/src/test/scala/leon/test/purescala/TreeTests.scala b/src/test/scala/leon/test/purescala/TreeTests.scala
index aae0705e5135b64ce38fd6b8aaf78209986d3ef6..73e77f16f6b970f914d739fb2f8e754cea878c68 100644
--- a/src/test/scala/leon/test/purescala/TreeTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeTests.scala
@@ -7,6 +7,7 @@ import leon.test._
 
 import leon.purescala.Common._
 import leon.purescala.Definitions._
+import leon.purescala.Constructors._
 import leon.purescala.Trees._
 import leon.purescala.TypeTrees._
 
@@ -17,8 +18,8 @@ class TreeTests extends LeonTestSuite {
     val t = BooleanLiteral(true)
     val f = BooleanLiteral(false)
 
-    def and(es : Expr*) : Expr = And(Seq(es : _*))
-    def or(es : Expr*) : Expr = Or(Seq(es : _*))
+    def and(es : Expr*) : Expr = andJoin(es)
+    def or(es : Expr*) : Expr = orJoin(es)
 
     assert(and(x, and(x, x), x) === and(x, x, x, x))
     assert(and(x, t, x, t) === and(x, x))