normalizeReference (SimpleSend  list       "push"                [value])                    = Application (Primitive Push) [list, value]
normalizeReference (SimpleSend  list       "push"                [value])                    = Application (Primitive Push) [list, value]
normalizeReference (SimpleSend  list       "push"                [value])                    = Application (Primitive Push) [list, value]