let mk_car a = 
  try
    fst(d_cons a)
  with
      Not_found -> 
        Term.App.mk_app Sym.Product.mk_car [a]