Added remove-tautologies for cnf