fix(SMT): restrict get-value to primitive types for cvc5 #679

shigoel wants to merge 2 commits intomainstrata-org/Strata:mainfrom

shilpi/cvc5-get-value-fixstrata-org/Strata:shilpi/cvc5-get-value-fixCopy head branch name to clipboard