[TG-8623] Fix primitive wrapper types in JSON value retriever#4973

antlechner merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

antlechner:antonia/vr-primitive-wrappersantlechner/cbmc:antonia/vr-primitive-wrappersCopy head branch name to clipboard