実験時間以外でも質問等あれば，連絡用メールアドレス宛にメールして下さい．
中間表現を表示する機能が貧弱なため，ある程度以上のサイズの中間表現を表示しようとすると，非常に時間がかかってしまいます．各フェーズ中の表示用関数string_of_XXXXX中でgroup関数を呼び出しているのが原因ですので，それを取り除くと（表示が少し崩れてしまいますが）改善されます（たとえば，「... (group A) ...」と書かれている箇所を「... A ...」に置き換える）．
実験時間以外でも質問等あれば，連絡用メールアドレス宛にメールして下さい．