I do not understand why it matters. WAR is designed to be total value to the team, which is what the original question seemed to be asking. Arenado’s overall value to the team is greater than Wainwright’s – if you believe the metric.
And if you take WAR/$, it would be even better thanks to the Rockies playing Arenado’s salary!