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