module documentation

Tests for the additional CFG utilities.

Class CFGUtilTest Test CFG utilities.
Class DummyValue A class with a 'parameters' function, for testing cartesian products.
Class GraphUtilTest Test abstract graph utilities.
Class Node A graph node, for testing topological sorting.
Class VariableProductTest Test variable-product utilities.