now compiles with grexplst_cnfize_except