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