Factor the calculation details for PostDomTree out of PostDominators.cpp and