private void addSubTransition(SemanticTransition semanticTransition, Transition transition) {
eventsForThisState.add(semanticTransition.event);
SubTransition subTransition = new SubTransition();
new SubTransitionOptimizer(semanticTransition, subTransition).optimize();
transition.subTransitions.add(subTransition);
}
