Function abstract_value_from_rvalue 

fn abstract_value_from_rvalue<'tcx>(
    rvalue: &Rvalue<'tcx>,
) -> Option<AbstractValue<'tcx>>