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