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