public TaintMark tagged(String tag) {
		if (this.tags.contains(tag)) {
			return this;
		}
		HashSet<String> tags = new HashSet<>(this.tags);
		tags.add(tag);
		return new TaintMark(name, tags);
	}
Create a new mark with the given tag added

<p>
Tags are a set, so this may return the same mark

@param tag
@return
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/taint/model/TaintMark.java