let is_cdr = function Product(Cdr), _ -> true | _ -> false