Import path
import semmle.python.pointsto.PointsTo
predicate pointsTo(ControlFlowNode f, PointsToContext context, ObjectInternal value, ControlFlowNode origin)
import semmle.python.pointsto.PointsTo
predicate pointsTo(ControlFlowNode f, PointsToContext context, ObjectInternal value, ControlFlowNode origin)