Predicate ssa_variable_jump_to_defn_attribute
INTERNAL – Public for testing only.
Holds if the attribute name of the ssa variable var refers to (value, cls, origin)
Import path
import analysis.DefinitionTrackingpredicate ssa_variable_jump_to_defn_attribute(EssaVariable var, string name, Definition defn)