Remove all nodes not reachable from the CFG's entry
The CFG to trim
a copy of the CFG, with the unreachable nodes removed
Remove all nodes not reachable from the CFG's entry