If we manually mark a String as tainted, e.g., by calling String.tainted(location.href, "manual"); it overrides the existing taint.

However, in some cases, it would be desirable to add an additional source operation to the taint flow instead of throwing the taint away.