goto-analyzer: support typecasts as left-hand sides#8659

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:goto-analyzer-typecasttautschnig/cbmc:goto-analyzer-typecastCopy head branch name to clipboard