Removed left-recursion from nonempty list helper.