a restrição de um procedimento correspondente não foi violada então o procedimento retornará '1'. Se a restrição for violada ...