let pretty_clause fmt l = Format.fprintf fmt "@[<2>[%a@]]@\n" (Pretty_utils.pp_list ~sep:",@ " Promelaoutput.print_condition) l