そういうトリッキーな雰囲気のループは避ける方が良いと思いますが、逆行列の計算のようなソフトの場合など避けられないケースもあるかもしれません。何回ループするかはパッと見て分からないのが普通でしょうから、次の様な図解はどうでしょうか。無記入は同じ値が続くと考えてください。

i　　j　　k　 ステートメント
1　　　　　　 通らず
2　　2　　1　 通る1
　　　　　2　 通る2
3　　2　　1　 通る3
　　　　　2　 通る4
　　 3　　1　 通る5
　　　　　2　 通る6
　　　　　3　 通る7
4　　2　　1　 通る8
　　　　　2　 通る9
　　 3　　1　 通る10
　　　　　2　 通る11
　　　　　3　 通る12
　　 4　　1　 通る13
　　　　　2　 通る14
　　　　　3　 通る15
　　　　　4　 通る16