sig
  type t = Term.t -> Jst.jst option
  val disj : Jst.Pred.t -> Jst.Pred.t -> Jst.Pred.t
  val apply : Jst.Eqtrans.t -> Jst.Pred.t -> Jst.Pred.t
  val trace : Trace.level -> string -> Jst.Pred.t -> Jst.Pred.t
end