docs: def _post_process(self):
          """
          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.
          """
          # TODO: Verify its correctness
          loop_back_edges = self._cfg.get_loop_back_edges()
          for b1, b2 in loop_back_edges:
              self._graph.add_edge(b1, b2)