Updated protocol and removed function remove-tautologies form cnf