Update NonInterferenceExample.v