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