Predicate signature InputSig::postWithInFlowExclude
Holds if n should be excluded from the consistency test postWithInFlow.
signature predicate postWithInFlowExclude(Node n)Holds if n should be excluded from the consistency test postWithInFlow.
signature predicate postWithInFlowExclude(Node n)