correcao do predicado tipo e grafo.