diff --git a/build.gradle b/build.gradle
index 3acfbc563d9a030d04d79ce52b4fd123388d39c1..465b9901bcb39cc315658cc71282f434a492c4a8 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,10 +30,10 @@ configurations.all {
 
 def parser_version
 if (project.version.endsWith("-SNAPSHOT")) {
-	parser_version = '2.9.13-SNAPSHOT'
+	parser_version = '2.9.18-SNAPSHOT'
 }
 else {
-	parser_version = '2.9.12'
+	parser_version = '2.9.17'
 }
 
 def tlatools_version = '1.0.2'
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 1286ddaa992c1f76336bb66e374bac034a848ae6..46c2d552b483ce4959de758458820bd64bb211a4 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -1675,8 +1675,10 @@ public class BAstCreator extends BuiltInOPs
 		}
 
 		case OPCODE_ite: { // IF THEN ELSE
+		    List<PExpression> Elsifs = new ArrayList<>();
 			AIfThenElseExpression ifthenElse = new AIfThenElseExpression(visitExprOrOpArgNodePredicate(n.getArgs()[0]),
-					visitExprOrOpArgNodeExpression(n.getArgs()[1]), visitExprOrOpArgNodeExpression(n.getArgs()[2]));
+					visitExprOrOpArgNodeExpression(n.getArgs()[1]), Elsifs,
+					visitExprOrOpArgNodeExpression(n.getArgs()[2]));
 			return ifthenElse;
 
 			// ALambdaExpression lambda1 = new ALambdaExpression();