cycle[ dft[ ugraph[] ] ]
cycle[ cycle[ dft[ ugraph[] ] ]]
cycle[ cycle[ cycle[ dft[ ugraph[] ] ] ] ]
strongc[ dft[ ugraph[]]]
strongc[ ugraph[]]
strongc[ cycle[ bft[ ugraph[]]]]
number[ dft[ region[ dft[ dgraph[]]]]]
strongc[ dft[ region[ dft[ dgraph[]]]]]
number[ cycle[ region[ dft[ ugraph[]]]]]
