Predicate FileOpen::close_method_call

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

predicate close_method_call(CallNode call, ControlFlowNode self)