import python
import semmle.python.objects.ObjectAPI

from int line, ControlFlowNode f, Value v
where
  any(ExprStmt s).getValue() = f.getNode() and
  line = f.getLocation().getStartLine() and
  f.pointsTo(v)
select line, v