initial cut at making use of dominator analysis in the Pass