Unique constant names#177

rgwohlbold wants to merge 3 commits into

Aurel300:rewrite-2023Aurel300/prusti-dev:rewrite-2023from

rgwohlbold:unique-constant-namesrgwohlbold/prusti-dev:unique-constant-namesCopy head branch name to clipboard