for (SignalTransition nextEnabledLocalSignalTransition : nextEnabledLocalSignalTransitions) {
                    String nextEnabledLocalSignal = stg.getSignalReference(nextEnabledLocalSignalTransition);
                    if (nextEnabledLocalSignal.equals(enabledLocalSignal)) {
                        result.add(enabledLocalSignal);
                    }