After patching, we should have a "Save as VEX" button to save a VEX statement that contains fixed vulnerabilities