Fix set extensionality issue with havoc assignments (#6304)#6305

MikaelMayer wants to merge 1 commit intomasterdafny-lang/dafny:masterfrom

fix-set-extensionality-havocdafny-lang/dafny:fix-set-extensionality-havocCopy head branch name to clipboard