let
pretty_dnf fmt l =
Format
.fprintf fmt
"@[<2>[%a@]]@\n"
(
Pretty_utils
.pp_list pretty_clause) l