This is needed to support:

1. Verification of mutable types
2. Automatic healing of verification failures

Changelog: changed
EE: true