let pp fmt g =
  Pretty.set Fact.pp fmt g.facts;
  if not(g.clauses = []) then
    begin
      Format.fprintf fmt "\nDisjunctions: \n";
      Pretty.infixl Clause.pp "\n AND " fmt g.clauses
    end