Primeiro teste, detectando ausência de retorno no primeiro nível da função