## `ControlFlow` instructions * `BrTable` should have at least one destination. * `Phi` must have more than one entry. ...