Update NonInterferenceExample.v

Change [lowlang.subst id e v1 = lowlang.subst id e v2]
  to   [lowlang.subst id v1 e = lowlang.subst id v2 e]