code: @Override
      public void sawOpcode(int seen) {
          if (state == State.SAW_NOTHING) {
              if (seen == Const.INVOKESPECIAL) {
                  state = State.SAW_INVOKESPECIAL;
              }
          } else if (state == State.SAW_INVOKESPECIAL) {
              handleInvokeSpecialState(seen);
          }
      }
docs: implements the visitor to find allocations of TypesafeEnum Const
  
  @param seen
  the currently parsed opcode