Rules involving equality constraints don't fire
In the attached program, the "normalize/Double" rule doesn't fire, whereas "normalize'/Double" does.
In general, it seems that a rule doesn't fire if it involves discharging an equality constraint that is required by the LHS.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information