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