Predicate FileOpen::function_closes_file

predicate function_closes_file(FunctionObject close)