skippedにchosenと衝突しないすべてのエントリーを出し尽くしたときには空集合を返すようにする変更。無限再帰は回避できたようだが、遅すぎて一向に終わらないのでこの方法はあきらめよう。
Revert "skippedにchosenと衝突しないすべてのエントリーを出し尽くしたときには空集合を返すようにする変更。無限再帰は回避できたようだが、遅すぎて一向に終わらないのでこの方法はあきらめよう。"

This reverts commit e2ed4c4a4a63d3e91fbbdd35e1a2d632b0517545.