Predicate FileOpen::file_is_returned

predicate file_is_returned(EssaVariable v, ControlFlowNode open)