関数がかなりややこしくなって丸ごときれいに書き直したモジュールに
変えたいんだけども以前の関数と同じ動作をするかどうかを
全パスチェックするのは大変なので、この際処理時間は無視していいから
ロジックとして同じ動作をすることを証明してくれる
ソフトってないでしょうか？