@Override
public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, StackDepth fact)
throws DataflowAnalysisException {
Instruction ins = handle.getInstruction();
int produced = ins.produceStack(cpg);
int consumed = ins.consumeStack(cpg);
if (produced == Constants.UNPREDICTABLE || consumed == Constants.UNPREDICTABLE) {
throw new IllegalStateException("Unpredictable stack delta for instruction: " + handle);
}
int depth = fact.getDepth();
depth += (produced - consumed);