anchor.diff:          mv.visitVarInsn(Opcodes.DLOAD, 5);
           mv.visitMethodInsn(Opcodes.INVOKESTATIC, "java/lang/Math", "round", "(D)J", false);
           mv.visitInsn(Opcodes.L2I);
  -        mv.visitVarInsn(Opcodes.ISTORE, 11);		
  +        mv.visitVarInsn(Opcodes.ISTORE, 11);	
  +        mv.visitFrame(Opcodes.F_APPEND, 3, new Object[] { Opcodes.INTEGER, Opcodes.INTEGER, Opcodes.INTEGER }, 0, null);	
   		mv.visitInsn(Opcodes.DCONST_0);
   		mv.visitVarInsn(Opcodes.DSTORE, 12);
  +		mv.visitFrame(Opcodes.F_APPEND, 1, new Object[] { Opcodes.DOUBLE }, 0, null);	
   		mv.visitVarInsn(Opcodes.ILOAD, 10);
   		mv.visitVarInsn(Opcodes.ILOAD, 11);
   		mv.visitInsn(Opcodes.IADD);
  
positive.code:         mv.visitJumpInsn(Opcodes.IF_ICMPLE, xBranchTop); 
          mv.visitIincInsn(16, 1);
          mv.visitLabel(yBranchBottom);
          mv.visitVarInsn(Opcodes.ILOAD, 16);
          mv.visitVarInsn(Opcodes.ILOAD, 14);
          mv.visitJumpInsn(Opcodes.IF_ICMPLE, yBranchTop);
  
negative.code:         mv.visitVarInsn(Opcodes.ILOAD, 11);
          mv.visitInsn(Opcodes.ISUB);
          mv.visitVarInsn(Opcodes.ISTORE, 16);
          mv.visitFrame(Opcodes.F_APPEND, 3, new Object[] { Opcodes.INTEGER, Opcodes.INTEGER, Opcodes.INTEGER }, 0, null);	
          Label yBranchBottom = new Label();
          mv.visitJumpInsn(Opcodes.GOTO, yBranchBottom);
          Label yBranchTop = new Label();
          mv.visitLabel(yBranchTop);
          mv.visitFrame(Opcodes.F_SAME, 0, null, 0, null);
          mv.visitVarInsn(Opcodes.ILOAD, 9);
          mv.visitVarInsn(Opcodes.ILOAD, 11);        
          mv.visitInsn(Opcodes.ISUB);
          mv.visitVarInsn(Opcodes.ISTORE, 17);        
          mv.visitFrame(Opcodes.F_APPEND, 1, new Object[] { Opcodes.INTEGER }, 0, null);	
          Label xBranchBottom = new Label();
          mv.visitJumpInsn(Opcodes.GOTO, xBranchBottom);
          Label xBranchTop = new Label();
          mv.visitLabel(xBranchTop);
          mv.visitFrame(Opcodes.F_SAME, 0, null, 0, null);
          mv.visitVarInsn(Opcodes.DLOAD, 12);
          mv.visitVarInsn(Opcodes.ALOAD, 8);
          mv.visitVarInsn(Opcodes.ILOAD, 17);
  