Add cheatcodes that generate symbolic variables with custom names#902

automergerpr-permission-manager[bot] merged 10 commits into

masterruntimeverification/kontrol:masterfrom

set-nameruntimeverification/kontrol:set-nameCopy head branch name to clipboard