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