Predicate uni_edged_phi_defn
Holds if ESSA defn, uniphi,is defined by defn
Import path
import analysis.DefinitionTrackingpredicate uni_edged_phi_defn(SingleSuccessorGuard uniphi, Definition defn)Holds if ESSA defn, uniphi,is defined by defn
import analysis.DefinitionTrackingpredicate uni_edged_phi_defn(SingleSuccessorGuard uniphi, Definition defn)