Element names should be unique

Uncommented a verification rule in GenerateRbacDSL.mwe2 to force element
names to be unique.