phreach: ability to extract the first GLC satisfying under-approximation criteria
ph-reach --graph=first_ua aware of --coop-priority