'Take care of those loop headers/tails where we manually broke their
connection to the next BBL'

def _pd_post_process(self):

    loop_back_edges = self._cfg.get_loop_back_edges()
    for (b1, b2) in loop_back_edges:
        if (type(b1) is TemporaryNode):
            successors = self._acyclic_cfg.graph.successors(b1)
        else:
            successors = self._acyclic_cfg.get_successors(b1)
        if (len(successors) == 0):
            if (b2 in self._post_dom):
                self._post_dom.add_edge(b1, b2)
            else:
                l.debug('%s    is    not    in    post    dominator    dict.', b2)
