use the optimized cnf construction

(with delimiters directive)