Detects unreachable choice branches that appear after a branch that matches empty sequence.