Correcao na verificacao de dominancia do M3AS