This updates the \b head and \b tail nodes to FlowBlock in the current collapsed graph. This returns the first \b tail and passes back the head. \param top is where \b head is passed back \param graph is the containing control-flow structure \return the current loop \b head
source not stored for this graph (policy: none)
no test coverage detected