let is_inconsistent =
  let rec loop s = function
    | [] -> false
    | a :: al -> 
        (match add s a with
           | Status.Valid _ -> loop s al
           | Status.Inconsistent _ -> true
           | Status.Ok(s') -> loop s' al)
  in
    loop