adicionando verificabilidade à pilha