WYCS: yet another bug fix for the solver.
WYCS: hmmm, well fixed a bug for now more test cases fail ... go figure.