@Override
 public void handleLoadInstruction(LoadInstruction obj) {
   int numProduced = obj.produceStack(cpg);
   if (numProduced == Constants.UNPREDICTABLE) {
     throw new InvalidBytecodeException("Unpredictable stack production");
   }
   int index = obj.getIndex() + numProduced;
   while (numProduced-- > 0) {
     Taint value = getFrame().getValue(--index);
     // set local variable origin of a stack value
     value.setLocalVariableIndex(index);
     getFrame().pushValue(value);
   }
 }