ネストや分岐で複雑怪奇になった関数に改造をかける際、
今後のことも考えてきれいなものに取り替えたいんだけれど、
新作のモジュールが以前の分岐をすべて網羅しているか不安。
この際、処理速度は無視して
ロジックだけでも全パスを確認するうまい方法ってないでしょうか？

ツールとかで自動で比較してくれたりするとうれしいんだけど。
機械的には無理なケースが多々あるのはもちろんとして
ある程度できそうなきもするんだけど。