Predicate FileOpen::closes_file

Holds if call closes a file

predicate closes_file(EssaNodeRefinement call)