| argument_refinement | Holds if a v is used as an argument to call, which may modify the object referred to by v
|
| assignment_definition | Holds if v is defined by assignment at defn and given value.
|
| attribute_assignment_refinement | Holds if an attribute is assigned at def and use is the use of v for that assignment
|
| attribute_deletion_refinement | Holds if an attribute is deleted at def and use is the use of v for that deletion
|
| deletion_definition | Holds if v is deleted at del.
|
| exception_capture | Holds if v is defined by assignment of the captured exception.
|
| exception_group_capture | Holds if v is defined by assignment of the captured exception group.
|
| import_star_refinement | Holds if the v is in scope at a from import ... * and may thus be redefined by that statement
|
| init_module_submodule_defn | Holds if the name of var refers to a submodule of a package and f is the entry point to the init module of that package.
|
| method_call_refinement | Holds if v is used as the receiver in a method call.
|
| multi_assignment_definition | Holds if v is defined by multiple assignment at defn.
|
| parameter_definition | Holds if v is a parameter variable and defn is the CFG node for that parameter.
|
| pattern_alias_definition | Holds if v is defined by as the alias of an as-pattern.
|
| pattern_capture_definition | Holds if v is defined by a capture pattern.
|
| test_refinement | Holds if the set of possible values for v is refined by test and use is the use of v in that test.
|
| with_definition | Holds if v is defined by a with statement.
|