@Override
	public boolean equals(Object o) {
		if (o instanceof Vertex) {
			return key == ((Vertex) o).key();
		}
		return false;
	}
@return true iff and only if the given object is a Vertex with the same
key.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/Vertex.java