Provide the right AnalysisID for postdominators