byte_extract lowering: Fail when we _don't_ have a constant [blocks: #2068]#4122

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:byte-op-3tautschnig/cbmc:byte-op-3Copy head branch name to clipboard