Add a few small optimisations in SimpleSolver. They should have probably been there from the very beginning.
Add a few small optimisations in SimpleSolver. They should have probably
been there from the very beginning.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix