Vetor de predicados agora esta certo
restritores capturados
Merge branch 'master' of github.com:fllsouto/MAC0219-Metodos-Formais
O vetor de predicados e restritores e construido corretamente