

Metamodels:
- cannot contain classes with the same name: getClassByName in 110_QVT-GT-COMPILER-VARIABLE-NAMES.maude



KNOWN ISSUES

- OIDs are created with the name of the domain instead of using the nsprefix of the package
		buildNewOidTerm in 110_QVT-GT-COMPILER-VARIABLE-NAMES.maude
		getNewOpsStateTerm in 116_QVT-GT-COMPILER-RHS-OPS-NEW.maude
		
- EnumFun and BoolFun not considered in 250_MODEL for navigation in many bounded references. Ex: company . job . employee . gender
  cannot be evaluated because gender returns an enumeration literal.

- Enumerations cannot be used in transformations:
	- there is no support to collect enumeration literals from collections, i.e. EnumBody
	

- Many-bounded attributes are not supported in transformations

- OCL: empty collections cannot be used (for example: Set{ }) because we don't know its type 

- self and variables in iterator operators MUST be used to navigate within OCL expressions