sig
  type t
  val empty : Lemmas.t
  val add : Lemmas.t -> Block.t -> unit
  val loops_among : Lemmas.t -> Block.t -> bool
  val singleton : Block.t -> Lemmas.t
end