funcao para analisar o funBody e para verificar o call das funcoes. (incompleto)