Lemma exampleStandardVertexNamesUnique : structureWFComponentNamesUnique exampleStandardVertex.
