Add the new BlockWhileDo to \b this, collapsing the condition and clause into it. \param cond is the condition FlowBlock \param cl is the clause FlowBlock \return the new BlockWhileDo
source not stored for this graph (policy: none)
no test coverage detected