Fixed entailment check.
Tests are more random.
Fixed uniqueness constraint for references that broke with the recent parent pointer optimization.
Fixed offset calculation.
Fixed joinRelation env and ker calculation and removed sort choco constraint.
More tests.
Fixed minus.
More tests.