確かにJ(v)≠{}だからCola(v)が実行されていないと言うのは話が逆ですね.
Cola(v)は各カテゴリーの中で小さい方から順番に実行されているのだから
いままさに実行しようとしている時はまだ≠｛｝だとかなんとか言う風に
もっていかないとダメですね。