let lcm =
  Trace.func "foo7" "lcm"
    (Pretty.pair Term.pp Term.pp)
    (Pretty.triple Term.pp Term.pp Term.pp)
    lcm