let mk_car = function
  | App(Pair(Cons), [a; _]) -> a
  | a -> Term.mk_app car [a]