Fix law_index in mzvsr contract extraction (feature #365)