Back-translate the SMTLIB unary minus, ignore models in `"get-model"` tests#4033

rv-jenkins merged 3 commits intomasterruntimeverification/haskell-backend:masterfrom

georgy/kore-get-model-fixesruntimeverification/haskell-backend:georgy/kore-get-model-fixesCopy head branch name to clipboard