let rec is_member = function
  x, lx -> if is_empty_list (lx) 
             then false
             else if head (lx) = x
                    then true
                    else is_member (x, tail (lx))