Block a State Transition with a Guard by Isaac Mann