docs: @Override
      public void modelNormalInstruction(Instruction ins, int numWordsConsumed, int numWordsProduced) {
          if (VERIFY_INTEGRITY) {
              if (numWordsProduced > 0) {
                  throw new InvalidBytecodeException("missing visitor method for " + ins);
              }
          }
          super.modelNormalInstruction(ins, numWordsConsumed, numWordsProduced);
      }