>>486-487の状態遷移図を作ってみました。

http://cdn-ak.f.st-hatena.com/images/fotolife/r/righ1113/20160627/20160627061127.jpg

これを見ると穴は無いと思うんんですけどねー