Detects identical choice branches.