Function stmts_outcomes 

fn stmts_outcomes(stmts: &[Stmt<'_>]) -> u8

Walks stmts left-to-right. Each statement’s outcome set replaces the prior FALLTHROUGH bit (since we only reach the next stmt by falling through). We stop as soon as a stmt cannot fall through, because nothing after it is reachable.