Minisat2 simplifications with variabile elimination by definition.