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