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();