Handle post dominance correctly in the case where blocks do not have a path to