src/main/java/org/plumelib/bcelutil/StackVer.java
boolean execute(
      InstructionContext ic,
      Frame inFrame,
      ArrayList<InstructionContext> executionPredecessors,
      InstConstraintVisitor icv,
      ExecutionVisitor ev) {
    stack_types.set(ic.getInstruction().getPosition(), inFrame);
    return ic.execute(inFrame, executionPredecessors, icv, ev);
  }
boolean execute(
      InstructionContext ic,
      Frame inFrame,
      ArrayList<InstructionContext> executionPredecessors,
      InstConstraintVisitor icv,
      ExecutionVisitor ev) {
    stack_types.set(ic.getInstruction().getPosition(), inFrame);
    return ic.execute(inFrame, executionPredecessors, icv, ev);
  }
Like InstructionContext.execute, but also sets stack_types.