Add constraint for unique names
Add constraint for SCADE keywords
Add constraint for valid Scade System elements