Given a reduced list of functions that still exposed the bug, check to see if we can extract the loops in the region without obscuring the bug. If so, it reduces the amount of code identified.
source not stored for this graph (policy: none)
no test coverage detected