swift234

Factor out the act of selecting the next step toward solving a
constraint system from actually taking that step, so that we have a
single place where we can implement smarter strategies for ordering
the search.


Swift SVN r3079