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