Detects identical choice branches