Added the CNF converter for False formula. Turned into (a & !a).
Added a new Verifier checking for tautologies during initialization