Predicate FileOpen::function_opens_file

predicate function_opens_file(FunctionObject f)