Payoff from static analysis:
If c passes static analysis then c satisfies sequential noninterference.
