Teach GVN to reason about edges dominating uses. This allows it to handle cases