The difference to D35851 is that we connect unreachable parts to the CFG, but
that we disconnect these very parts from the reachable part of the CFG. As
such, they do not affect the dominance relations in the reachable part of the
CFG, but are still modeled in the PDT.