Removing extensional rewrite in CNF_CONV
no change