import python

from ControlFlowNode arg, CallNode call, string debug
where
  call.getAnArg() = arg and
  call.getFunction().(NameNode).getId() = "check" and
  if exists(arg.pointsTo())
  then debug = arg.pointsTo().toString()
  else debug = "<MISSING pointsTo()>"
select arg, debug