Incremental option introduced a bug into the CNF generation where
the RingP instance for [(Category,Any)] was omitted. This is now fixed.