\brief Record any loops that \b body contains. Search for any loop contained by \b this and update is \b depth and \b immed_container field. \param body is the set of FlowBlock nodes making up this loop \param looporder is the list of known loops
source not stored for this graph (policy: none)
no test coverage detected