size0 = pseq.size(); inBounds = j>=0 && j<pseq.size(); pseq = pseq.with(j, r.nextInt()); if (!inBounds) fail(); } catch (IndexOutOfBoundsException e) {
size0 = pseq.size(); inBounds = j>=0 && j<pseq.size(); pseq = pseq.with(j, r.nextInt()); if (!inBounds) fail(); } catch (IndexOutOfBoundsException e) {