Predicate ssa_filter_jump_to_defn_attribute
Holds if ESSA edge refinement, def, is defined by defn of priority
Import path
import analysis.DefinitionTrackingpredicate ssa_filter_jump_to_defn_attribute(PyEdgeRefinement def, string name, Definition defn)