no up-flow

Checks that no information is indirectly leaked.