sig
  type term = Nunchaku_core.TermInner.Default.t
  val name : string
  val encode_pb :
    (IntroGuards.term, IntroGuards.term) Nunchaku_core.Problem.t ->
    (IntroGuards.term, IntroGuards.term) Nunchaku_core.Problem.t
  val pipe :
    print:bool ->
    check:bool ->
    ((IntroGuards.term, IntroGuards.term) Nunchaku_core.Problem.t,
     (IntroGuards.term, IntroGuards.term) Nunchaku_core.Problem.t, 'ret,
     'ret)
    Nunchaku_core.Transform.t
end