Fix applicability condition of simplify_byte_update#6311

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:fix-simplify-byte-updatepeterschrammel/cbmc:fix-simplify-byte-updateCopy head branch name to clipboard