WyCS: Updated test cases which now pass.

These test cases are now passing because of the new rule for dealing
with equations in the solver.