Adicionando verificabilidade à pilha