Try to find an if/else structure starting with the given FlowBlock. Edges into the clauses cannot be \e goto, \e exit,or \e loopback. The returning edges can be \e exit or \e loopback. \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