fix: generated Modifies clauses for operations involving unions not valid Dafny

[robin-aws]

Description of changes:

Fixing an obvious typo based on the comment immediately above. Confirmed fix on @ajewellamz's branch.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.