Test harness for list abstraction