A fair number of DFEs have h=0.5; as discussed today we think we should switch these over to using the new *independent dominance*: <img width="962" height="329" alt="Image" src="https://github.com/user-attachments/assets/c22d40a1-beef-46b3-8b51-cf80c4d6d4e0" /> This depends on doing #1809 first.
A fair number of DFEs have h=0.5; as discussed today we think we should switch these over to using the new independent dominance:

This depends on doing #1809 first.