More about branching...
Exception for internal logic error.
Utility function for copying edges.
Minimal graph reduction.
Debugging graph reduction.
Simple test.
Corrected problem with counting.
Replaced clear_vertex with more explicit functions.