@Override
    @NotNull
    public TaintValue join(@NotNull TaintValue other) {
      return other == TAINTED ? other : this;
    }
@Override
    @NotNull
    public TaintValue join(@NotNull TaintValue other)