prophecy_r_or_w_ok_exprt lowering: adjust for dynamic/static objects#8629

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:simp-r_oktautschnig/cbmc:simp-r_okCopy head branch name to clipboard