Res ← Res + shared(v, v')