Predicate FileNotAlwaysClosed::file_not_closed_at_exception_exit

predicate file_not_closed_at_exception_exit(ControlFlowNode open, ControlFlowNode exit)