turn selection to CNF instead of predicates array