use DoAndIfThenElse style in ToySolver.SAT