Added sequential solving support to sat_solve
Fixed handling of $_XOR_ in SAT generator