Predicate FileOpen::def_is_open

Holds if def refers to a file opened at open

predicate def_is_open(EssaDefinition def, ControlFlowNode open)