Comment out possibly unnecessary checking for default cnf formulas