a Phase declares an outgoing PhaseTransition (gateable transition to another Phase in the same phase machine)