it('unshift + shift', function () {
        verifyChanges([], arr => {
          arr.unshift(S(1));
          arr.shift();
        });