Assertivas de entrada e saída do grafo.h