@Override
	public long getModificationNumber() {
		return this.modificationNumber;
	}
Used to test if edges have been added or removed from this edge set.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/EdgeSet.java