Predicate FileMayNotBeClosed::mayCallFunction

‘call’ is either a direct call to f, or a possible call to f via a function pointer.

predicate mayCallFunction(Expr call, Function f)