This will be needed for support of index unioning and index intersection. In order to perform intersection we need to essentially split the predicates in conjunction (to join them) and for that we need CNF. For index unioning by contrast we need to union the predicates (thus we need DNF).