Fixed Algo Solver not reducing clauses before solving