plumbing for prototypes; define shell of getImmediateDominator