More checks for Transition correctness