Modifiquei o preproc para aceitar variáveis e predicados (por enquanto predicados só aceitam variávies, pois ainda não decidimos como vai ser a função em fol).
Agora o preproc também tem uma parâmetro "i" para contar quantas vezes aparecem os quantificadores "exists" e "forall" e substituir suas variàveis dependentes por X1,X2,X3....
Modifiquei o preproc para aceitar variáveis e predicados (por enquanto predicados só aceitam variávies, pois ainda não decidimos como vai ser a função em fol). Agora o preproc também tem uma parâmetro "i" para contar quantas vezes aparecem os quantificadores "exists" e "forall" e substituir suas variàveis dependentes por X1,X2,X3....