Predicate FileMayNotBeClosed::fcloseCallOrIndirect

predicate fcloseCallOrIndirect(FunctionCall fc, Variable v)