fn protected_yield_stage(p: MovementID, y: MovementID) -> Stage