sig
  type t
  val empty : Rewrite_rule.Set.t
  val is_empty : Rewrite_rule.Set.t -> bool
  val add_stmt :
    Libzipperposition.Statement.clause_t ->
    Rewrite_rule.Set.t -> Rewrite_rule.Set.t
  val pp : Rewrite_rule.Set.t CCFormat.printer
end