eraseフェーズでnot関数を評価して不要式の削除を行う機能を追加

TODO:
not関数の評価など組み込み関数で評価可能な式を畳み込むfoldフェーズを作成したい