Desirable validation rules for attribute constraints library

[RolandKluge]

• Same constraint should only be specified once per library.
  This means, we do not want to have:

attributeConditionLibrary {
  addI (result : EInt, x : EInt, y :EInt) { }
  addI (result : EInt, x : EInt, y :EInt) { }
}