Hotfix mzvsr contract extraction (feature #365)