sources に出現せず他の述語でも使われていないΔ述語を除去するようにした

[cedretaber]

関連 issue: #45

概要

以前の実装では、 simplification の際にΔ述語は全て残すようにしていたが、この修正で、 sources のテーブル名と異なり、他の述語でも使われていないΔ述語は削除されるようになった。

確認方法

❯ dune exec bin/simplification.exe -- examples/simplification3_1.dl
source ps('A':int, 'B':int).           
view pv('A':int).
+ps(A, B) :- ps(GENV13, _) , not -ps(_, _) , not ps(A, _) , A = 4 , B = -100 , GENV13 = 1.
+ps(A, B) :- ps(GENV10, _) , ps(GENV2, B) , not ps(A, _) , A = 4 , GENV10 = 1 , GENV2 = 1.
-ps(A, B) :- ps(A, B) , A = 1.

[hiroyukikato]

Thanks! LGTM.