Do not misuse symex dereferencing code for finding array objects [blocks: #3725]#3953

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:process-array-exprtautschnig/cbmc:process-array-exprCopy head branch name to clipboard