code: 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);
    }
docs: Like InstructionContext.execute, but also sets stack_types.