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