init CLP(Set) tests.

equality rewriting rules are implemented