Predicate FileMayNotBeClosed::fopenCallOrIndirect

predicate fopenCallOrIndirect(Expr e)