Use PUSH instead of ADD-TO-LIST

Duplicates are removed later.