convert2Gal fail with NotImplemented exception on smallReception example (standalone)
on the example atsyra-dev/official_examples/abs.standalone/mini.building.abs.model.standalone.example/smallReception_goals.abs
right click on Atsyra ABS > compute scenaros
we get the following exception
java.lang.RuntimeException: Not implemented
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect._privk3_expr2boolExpr(ExpressionAspect.java:411)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2boolExpr(ExpressionAspect.java:84)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.LambdaExpressionAspect._privk3_expr2GALFilterCondition(LambdaExpressionAspect.java:56)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.LambdaExpressionAspect.expr2GALFilterCondition(LambdaExpressionAspect.java:33)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2GALFilterCondition(ExpressionAspect.java:292)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.MemberSelectionAspect._privk3_expr2memberMultiplicityManyArrayRef(MemberSelectionAspect.java:413)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.MemberSelectionAspect.expr2memberMultiplicityManyArrayRef(MemberSelectionAspect.java:86)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2memberMultiplicityManyArrayRef(ExpressionAspect.java:271)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.MemberSelectionAspect._privk3_expr2boolExpr(MemberSelectionAspect.java:301)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.MemberSelectionAspect.expr2boolExpr(MemberSelectionAspect.java:36)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.MemberSelectionAspect._privk3_expr2value(MemberSelectionAspect.java:356)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.MemberSelectionAspect.expr2value(MemberSelectionAspect.java:46)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2value(ExpressionAspect.java:120)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.EqualityComparisonExpressionAspect._privk3_expr2boolExpr(EqualityComparisonExpressionAspect.java:32)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.EqualityComparisonExpressionAspect.expr2boolExpr(EqualityComparisonExpressionAspect.java:16)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2boolExpr(ExpressionAspect.java:54)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect._privk3_expr2boolExpr(AndExpressionAspect.java:32)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect.expr2boolExpr(AndExpressionAspect.java:16)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2boolExpr(ExpressionAspect.java:69)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect._privk3_expr2boolExpr(AndExpressionAspect.java:32)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect.expr2boolExpr(AndExpressionAspect.java:16)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2boolExpr(ExpressionAspect.java:69)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect._privk3_expr2boolExpr(AndExpressionAspect.java:32)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect.expr2boolExpr(AndExpressionAspect.java:16)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2boolExpr(ExpressionAspect.java:69)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect._privk3_expr2boolExpr(AndExpressionAspect.java:32)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.AndExpressionAspect.expr2boolExpr(AndExpressionAspect.java:16)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.ExpressionAspect.expr2boolExpr(ExpressionAspect.java:69)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.GuardedActionAspect.lambda$2(GuardedActionAspect.java:84)
at java.base/java.util.HashMap.forEach(HashMap.java:1337)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.GuardedActionAspect._privk3_convert2GAL(GuardedActionAspect.java:94)
at fr.irisa.atsyra.absystem.gal.absystem.aspects.GuardedActionAspect.convert2GAL(GuardedActionAspect.java:28)