Function extracted_byte_source 

pub(crate) fn extracted_byte_source(
    byte: &SymWord,
    index: usize,
) -> Option<Expr>

Implements the extracted_byte_source symbolic expression helper.