Reverse the set variable ordering

This drastically speeds up constraint resolution in all of
my applications.  The old order seemed to be maximally pessimistic
and produced too many Pred edges.  I think this basically meant
that the full transitive closure was computed and there was no
savings from the inductive form.
Comment out the cycle detection code for now.

It doesn't work and is just cluttering things up.
Port to haggle