Add an argument to PHITranslateValue to specify the DominatorTree. If this