Function iter_tail_statements 

fn iter_tail_statements(block: &mut Block, f: &mut impl FnMut(&mut Statement))

Iter over the last non-switch statements that may be executed on any branch of this block. Skips over Nops.