Import path
import semmle.python.pointsto.PointsTopredicate points_to(ControlFlowNode f, PointsToContext context, Object obj, ClassObject cls, ControlFlowNode origin)import semmle.python.pointsto.PointsTopredicate points_to(ControlFlowNode f, PointsToContext context, Object obj, ClassObject cls, ControlFlowNode origin)