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