suportar OCL com quantificadores com multiplas variaveis, eliminando a necessidade de expandir em mais quantificadores do mesmo tipo
suportar OCL com quantificadores com multiplas variaveis, eliminando a necessidade de expandir em mais quantificadores do mesmo tipo