Try to structure a \e proper if structure (with no \b else clause) starting from the given FlowBlock. The edge to the clause should not be an \e exit or \e loopbottom. The outgoing edges can be \e exit or \e loopbottom. \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