Function abstract_value_from_operand 

fn abstract_value_from_operand<'tcx>(
    operand: &Operand<'tcx>,
) -> AbstractValue<'tcx>