added legalBoundaryCrossing and transitionOwner constraints