Add edges that exit from \b this loop body to the list of likely \e gotos, giving them the proper priority. \param likely will hold the exit edges in (reverse) priority order \param graph is the containing control-flow graph
source not stored for this graph (policy: none)
no test coverage detected