Try to find a do/while structure, starting with the given FlowBlock. Any \e break and \e continue must have already been collapsed as some form of \e goto. \param bl is the given FlowBlock \return \b true if the structure was applied
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected