defined constraints maxOneTransitionFromInitialConnector and noGuardFromInitialConnector