cnf is now flattened
tseitin now flattens the result
tseitin works now for and/or n-ary
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git