pub fn block_definitely_exits(stmts: &[SNode]) -> bool
Check whether a block definitely exits (contains a terminating statement).