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

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