Function value_from_operand 

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

Convert a MIR operand to an abstract value.