Detects unreachable choice branches.

A branch is unreachable if it is preceded by a branch that matches empty sequences.