ループするのはスキップする場合だけで、トークンが来るって保証されてるなら絶対に終端するわけですね、いや〜なるほどだった