allow address_of of byte_extract expressions#2112

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

address_of_byte_extractdiffblue/cbmc:address_of_byte_extractCopy head branch name to clipboard