ATL-Transformationsregeln stimmen nicht mit verschachtelten BPMN2-Elementen überein

Ich schreibe eine ATL-Übersetzung von BPMN2 in ein anderes Modell. Das Problem ist, dass der Code kein verschachteltes Element erkennt. Ich habe den atl-Code und meine Eingabe hier gepostet:https: //github.com/behnaaz/BPMN2ATL.gi ...