Predicate ssa_filter_defn
Holds if ESSA edge refinement, def, is defined by defn
Import path
import analysis.DefinitionTrackingpredicate ssa_filter_defn(PyEdgeRefinement def, Definition defn)Holds if ESSA edge refinement, def, is defined by defn
import analysis.DefinitionTrackingpredicate ssa_filter_defn(PyEdgeRefinement def, Definition defn)