diff --git a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java index 188266a9bae09aeeb945437332aa40304b876a76..31727e952f81872cc5877d164b02ca5ec00f79dc 100644 --- a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java +++ b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java @@ -32,6 +32,13 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter { add(ARealSetExpression.class); add(AFloatSetExpression.class); add(ARealExpression.class); + + add(AIfElsifExprExpression.class); + add(AIfPredicatePredicate.class); + add(AIfElsifPredicatePredicate.class); + + add(ALetExpressionExpression.class); + add(ALetPredicatePredicate.class); } private static void add(Class<? extends Node> clazz) {