Merge "Optimizing: Rewrite search for common dominators."