First simple rewiring: hard-wiring of unit constraints into the formula.
Added hardwiring for binary clauses.
Hardwiring variables - 1.
Hardwirring for Variables - 2.