[OPTIQ-394] Add RexUtil.toCnf, to convert expressions to conjunctive normal form (CNF)