Fix use of as_const in std_expr#4391

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:as_const-fixuptautschnig/cbmc:as_const-fixupCopy head branch name to clipboard