for (String signalRef : signalRefs) {
            Boolean value = guessInitialStateFromSignalPlaces(stg, signalRef);
            if (value != null) {
                result.put(signalRef, value);
            }