Predicate FileOpen::passes_open_files

Holds if test will pass through an open file in variable v for the sense successor

predicate passes_open_files(Variable v, ControlFlowNode test, boolean sense)