- updates to cnf, simplify and flatten methods