sig
  type term = Nunchaku_core.TermInner.Default.t
  type model = (Model_clean.term, Model_clean.term) Nunchaku_core.Model.t
  val name : string
  val rename : Model_clean.model -> Model_clean.model
  val remove_recursion : Model_clean.model -> Model_clean.model
  val pipe :
    print:bool ->
    ('a, 'a,
     (Model_clean.term, Model_clean.term) Nunchaku_core.Problem.Res.t,
     (Model_clean.term, Model_clean.term) Nunchaku_core.Problem.Res.t)
    Nunchaku_core.Transform.t
end