let cnf_iter t ll = List.iter (conj_iter t) ll