Remove `id2string` from inside calls to the `json_stringt` constructor.#2180

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:json_id2stringthomasspriggs/cbmc:json_id2stringCopy head branch name to clipboard