revisão das pré e pós condições
inserindo novos casos de uso