'Return the set of nodes constituting the graph\'s backbone.
(i.e. the nodes that every path starting from the entry point
must go through).  By construction, it is non-empty: it contains
at least the entry point.'

def backbone(self):

    return self._post_doms[self._entry_point]
