Cycle recognition is in a separate program.

環路探索を独立したモジュールに切りわけた。
不変量計算が簡単になった。