Fixed failing assertion when sets are coalesced.
Preference for smaller or larger instances.
Use the new set strategy framework.
Sort set initial support.
Removed unused import.
Fixed sum set.
More efficient enforcing symmetry breaking.