removed cons/snoc tests for nonemptylist