public TaintVec zipUnion(TaintVec that) {
		return zip(that, TaintSet::union);
	}
Union each element with its corresponding element from another vector, forming a new result
vector

@param that the other vector
@return the result
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/taint/model/TaintVec.java