Predicate FileOpen::var_is_open

Holds if var refers to a file opened at open

predicate var_is_open(EssaVariable v, ControlFlowNode open)