Consertei alguns probleminhas de lógica por causa da mudança de “assert” para “verify”.