Predicate SsaSource::method_call_refinement
Holds if v is used as the receiver in a method call.
Import path
import pythonpredicate method_call_refinement(Variable v, ControlFlowNode use, CallNode call)Holds if v is used as the receiver in a method call.
import pythonpredicate method_call_refinement(Variable v, ControlFlowNode use, CallNode call)