We introduce a "dead code" optimization like pass on the AST. The goal is to simplify away, in a `SequenceNode`, everything that follows a node with sports a `nofallthrough behavior.