Predicate FileOpen::call_to_open

Holds if open is a call that returns a newly opened file

predicate call_to_open(ControlFlowNode open)