private void establishMatch(DataVertex left, DataVertex right) {
		pinMap.put(left, right);
		left.paired = true;
		right.paired = true;
	}
Pair the two given data-flow vertices.
@param left is the LEFT side vertex
@param right is the RIGHT side vertex
Ghidra/Features/CodeCompare/src/main/java/ghidra/features/codecompare/graphanalysis/Pinning.java