public class AssertJudge {
   int z = 5;
   public void stuff1(int x){
      assert(x>0);  //1
      switch(x){
         case 2: x=3;
         default: assert false;  //2
      }
   }
   
   private void stuff2(int y){
      assert(y<0);   //3
   }
   
   private void stuff3(){
      assert(stuff4());   //4
   }
   
   private boolean stuff4(){
      z = 6; return false;
   }
}