pub fn stmt_definitely_exits(stmt: &SNode) -> bool
Check whether a single statement definitely exits (return/throw/break/continue or an if/else / match where every reachable branch exits).