Ho risolto nell'OCL checker (parser) il problema dell'uso di un Mapterm per definire/inizializzare una funzione. Adesso funziona.
Occorre, però, riportare a livello di descrizione dei vincoli OCL nel metamodello la segente osservazione. Per FunctionDefinition i vincoli B10 ed E21 sono mutui esclusivi! Stessa cosa per FunctionInitialization per I10 e E20.
P.