verify_priorit_high
State Kind
ChoicePoint
Parent State
TOP
Condition
return (false);