bug fix in to_cnf.py