Method extend

Extend the \b body of this loop to every FlowBlock that can be reached \b only from \b head without hitting the \b exitblock. Assume \b body has been filled out by findBase() and that all these blocks have their mark set. \param body contains the current loop body and will be extended