Asserts that the program does not violate information flow security.
if the program has insecure information flow.