Adicionado mudança nos estados retractall e assert (ouro)