docs: public void setOuputTaint(Taint taint) {
          if (taint == null) {
              this.outputTaint = null;
              return;
          }
          Taint taintCopy = new Taint(taint);
          taintCopy.invalidateVariableIndex();
          this.outputTaint = taintCopy;
      }