no down-flow

Checks that no information is indirectly leaked.