let trace lvl name =
    Trace.func2 lvl name Term.pp Term.pp Three.pp