Port to latest version of library.
Fixed: every clafer must have a global scope, even if insufficient scope. The rest of the analysis depends on this condition.
Fixed: disjoint quantifier local definitions exceed the size of the set.
Partially fixed the diasgreement between propagation and entailment. Still needs more work.
SafeVarArgs.
Fixed coalescing subseteq.
More random tests.