それを実行するには、先に Len に数値が代入されてなきゃいけないの。
is の右辺の式では未確定な変数は使えない。

この再帰だと、 Len より Len1 のが先に確定するよね。
だから再帰呼び出しのあとで Len を計算するって形にすればいいと思うけど。