Res ← Res + nonshared(v, v')