it('push + pop', function () {
        verifyNoChanges([1, 2], arr => {
          arr.push(3);
          arr.pop();
        });