Function increment_source_and_step 

fn increment_source_and_step<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    rvalue: &Rvalue<'tcx>,
) -> Option<(Local, i128)>

Extract local +/- const from an arithmetic rvalue.