Function extracted_byte_expr 

pub(crate) fn extracted_byte_expr(expr: &Expr, index: usize) -> Expr

Implements the extracted_byte_expr address normalization helper.