Use 3.2.1 official release.
Set logging backend.
Implement transitive reflexive closure.
Remove unsound optimization. We cannot replace "this.clafer" with "clafer" because "this" may or may no exist.
Optimize partial integers over OR expressions.
Optimize set membership constraints. SetMember <== opposite ==> SetNotMember
Merge.