I wonder: just `dealias`, or `dealiasWiden` (recently added by @paulp)? Can you point me to the test that requires the `dealias` (remove it and see what breaks), and then we can try to craft a test for which it is insufficient.