1. int z = 5;2.3. public void stuff1(int x) {4. assert (x > 0);5. switch(x) {6. case 2: x = 3;7. default: assert false; } }8.9. private void stuff2(int y) { assert (y < 0); }10.11. private void stuff3() { assert (stuff4()); }12.13. private boolean stuff4() { z = 6; return false; }