first pass at one-step reduced dominators