ソースコード解析して
静的に ..]
動的にしか判らない
場合は無理として
…9,10]
みたいに静的に有限だと突き止めた場合適用できるようにしてみる価値はあるのではないか