diff --git a/build.gradle.kts b/build.gradle.kts
index 922c1084ea..d51ae33899 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -10,7 +10,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.inf.theta"
-    version = "3.0.1"
+    version = "3.0.2"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }
diff --git a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/MultiaryExpr.java b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/MultiaryExpr.java
index b619147e79..bf9d1dfddc 100644
--- a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/MultiaryExpr.java
+++ b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/MultiaryExpr.java
@@ -47,7 +47,7 @@ public final List<Expr<OpType>> getOps() {
 	}
 
 	@Override
-	public final MultiaryExpr<OpType, ExprType> withOps(final List<? extends Expr<?>> ops) {
+	public MultiaryExpr<OpType, ExprType> withOps(final List<? extends Expr<?>> ops) {
 		checkNotNull(ops);
 		if (ops.isEmpty()) {
 			return with(ImmutableList.of());
diff --git a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayInitExpr.java b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayInitExpr.java
index 975ff0a072..3bcd004a8f 100644
--- a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayInitExpr.java
+++ b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayInitExpr.java
@@ -102,6 +102,11 @@ public MultiaryExpr<Type, ArrayType<IndexType, ElemType>> with(Iterable<? extend
 		return ArrayInitExpr.of(newOps, elseElem, type);
 	}
 
+	@Override
+	public MultiaryExpr<Type, ArrayType<IndexType, ElemType>> withOps(List<? extends Expr<?>> ops) {
+		return with(ops.stream().map(op -> (Expr<Type>) op).collect(Collectors.toList()));
+	}
+
 	@Override
 	protected int getHashSeed() {
 		return HASH_SEED;