Predicate FileOpen::expr_is_open

Holds if n refers to a file opened at open

predicate expr_is_open(ControlFlowNode n, ControlFlowNode open)