Definition structureWFComponentNamesUnique (s : structureT) : Prop :=
  List.NoDup (List.map componentName (structureComponents s)).
