'There are cases where a loop has two overlapping loop headers thanks
to the way VEX is dealing with continuous instructions. As we were
breaking the connection between the second loop header and its
successor, we shall restore them in our CDG.'

def _post_process(self):

    loop_back_edges = self._cfg.get_loop_back_edges()
    for (b1, b2) in loop_back_edges:
        self._graph.add_edge(b1, b2)
