[graph-tool] Postdominator

Hi, I have seen the algorithm for the dominator tree in graph_tool. Is there an algorithm present that calculates the postdominator tree [1] as well? Best, Gerion [1] https://en.wikipedia.org/wiki/Dominator_(graph_theory)#Postdominance