Add dominator based selector graph simplification