diff --git a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/ExprUtils.java b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/ExprUtils.java
index 6873033f60..db4ee0b410 100644
--- a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/ExprUtils.java
+++ b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/ExprUtils.java
@@ -518,7 +518,7 @@ public static Tuple2<Expr<?>, List<Expr<?>>> extractFuncAndArgs(final FuncAppExp
             final Tuple2<Expr<?>, List<Expr<?>>> funcAndArgs = extractFuncAndArgs(funcApp);
             final Expr<?> resFunc = funcAndArgs.get1();
             final List<Expr<?>> args = funcAndArgs.get2();
-            final List<Expr<?>> resArgs = ImmutableList.<Expr<?>>builder().addAll(args).add(arg)
+            final List<Expr<?>> resArgs = ImmutableList.<Expr<?>>builder().add(arg).addAll(args)
                     .build();
             return Tuple2.of(resFunc, resArgs);
         } else {
diff --git a/subprojects/xcfa/xcfa2chc/src/test/java/hu/bme/mit/theta/xcfa2chc/TestChcUtils.kt b/subprojects/xcfa/xcfa2chc/src/test/java/hu/bme/mit/theta/xcfa2chc/TestChcUtils.kt
index 67b63f51df..1324342474 100644
--- a/subprojects/xcfa/xcfa2chc/src/test/java/hu/bme/mit/theta/xcfa2chc/TestChcUtils.kt
+++ b/subprojects/xcfa/xcfa2chc/src/test/java/hu/bme/mit/theta/xcfa2chc/TestChcUtils.kt
@@ -28,6 +28,7 @@ import hu.bme.mit.theta.core.type.booltype.BoolExprs.*
 import hu.bme.mit.theta.core.type.inttype.IntExprs
 import hu.bme.mit.theta.core.type.inttype.IntExprs.Int
 import hu.bme.mit.theta.core.type.inttype.IntType
+import hu.bme.mit.theta.solver.smtlib.impl.z3.Z3SmtLibSolverFactory
 import org.junit.jupiter.api.Test
 
 private val iParamLut = LinkedHashMap<String, ParamDecl<IntType>>()