Given a reduced list of functions that still expose the bug, extract as many basic blocks from the region as possible without obscuring the bug.
source not stored for this graph (policy: none)
no test coverage detected