let pp i fmt s =
  Pretty.string fmt "\n";
  Th.pp fmt i;
  Pretty.string fmt ":";
  Pretty.list (Pretty.eqn Term.pp) fmt (to_list s)