Predicate FileOpen::closes_arg

Holds if call closes its argument, which is an open file referred to by v

predicate closes_arg(CallNode call, Variable v)