[analyzer][NFC] Update stale test after #97265#122272

steakhal merged 1 commit intollvm:mainllvm/llvm-project:mainfrom

steakhal:bb/update-stale-z3-crosscheck-testCopy head branch name to clipboard