let trace lvl name =
    Trace.func2 lvl name Term.pp Term.pp (Pretty.option pp)