Update NonInterferenceExample.v

change [multi SecLang.step e[x/v1] w2]
to     [multi SecLang.step e[x/v2] w2]