Fixed bug at simplify_cnf