s/gen/gtoks
Use recursive function for CNF preamble
CNF cleanup