Implementando verificações nas regras de declaração e atribuição