Experimental: update cheatcode preconditions in CSE#1029

palinatolmach wants to merge 8 commits into

masterruntimeverification/kontrol:masterfrom

cse-cheatcode-preconditionsruntimeverification/kontrol:cse-cheatcode-preconditionsCopy head branch name to clipboard