Function get_operand_bv 

fn get_operand_bv<'a>(
    ctx: &'a Context,
    op: &'a AnaOperand,
    z3_vars: &'a HashMap<usize, BV<'_>>,
) -> Option<BV<'a>>