Kill ListOfFormulas, use a vector of formulas instead
Conversion to CNF, part 1: AtLeast/AtMost/Exactly expansion
Conversion to CNF, part 2: Tseitin transformation