Predicate FileNotAlwaysClosed::file_not_closed_at_scope_exit

predicate file_not_closed_at_scope_exit(ControlFlowNode open)