ループを末尾再帰で書き直せば、条件分岐によるループ脱出は自明な形で現われる。