The exception of computing a function of graph with wrong states.
In some cases, a proper input graph is required to evaluate functions of
a graph. Graphs with wrong states lead to invalid results or even making
functions incomputable. Some examples of the states are: topology,
connectivity, graph type, node/edge counts ...etc. Our design should make
it impossible for this exception to ever occur, so occurrence is a bug.