Add tests for enumeration termination.
Implement termination on all graph types.