air: mangle invalid SMT atoms (fixes #2221)#2312

sunmy2019 wants to merge 2 commits into

verus-lang:mainverus-lang/verus:mainfrom

sunmy2019:gh-2221-1sunmy2019/verus:gh-2221-1Copy head branch name to clipboard