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