Add CNF conversion
Add Tseitin transformation
Add Lit#to_i and change Var#to_i to return 1-origin index