// Often a transition (choice/event) can result into forwarding/backtracking to a number of states
boolean terminate = false;
for(Integer stateId : justVisitedStates) {
// Often a transition (choice/event) can result into forwarding/backtracking to a number of states
boolean terminate = false;
for(Integer stateId : justVisitedStates) {