let rec list_assoc_mem' x = function
  | (a, b) :: t when x = b -> true
  | _ :: t -> list_assoc_mem' x t
  | [] -> false