verify_priorit_high

State KindChoicePointParent StateTOP

Condition
return (false);