Centaur specific transform.
Theorem: vl-design-p-of-mp-verror-transform-hook
(defthm vl-design-p-of-mp-verror-transform-hook (vl-design-p (mp-verror-transform-hook x)))
