Identificação client/server: correção de bug camadas (isCorrect?) e criação de classe main para testar os operadores de mutação