@Override
	public String toString() {
		if (referent != null) {
			return referent.toString();
		}
		return "Nexus";
	}
@return The key of this vertex.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/Vertex.java