Collapse everything in the control-flow graph to isolated blocks with no inputs and outputs.
source not stored for this graph (policy: none)
no test coverage detected