See patch.lisp for a new utility, get-register-invariant-risk, that
serves as the enhancement.