Add the convergent attribute to the WWM intrinsic to stop it ever being sunk out of cfg.
LGTM, though a test wouldn't hurt