let abstract = Trace.func2 "bar" "Abstract" Name.pp Term.pp Term.pp abstract