let mk_outr a =
  try
    d_inr a 
  with
      Not_found -> 
        Term.App.mk_app Sym.Coproduct.mk_outr [a]