Predicate signature InputSig::localFlowIsLocalExclude
Holds if (n1, n2) should be excluded from the consistency test localFlowIsLocal.
signature predicate localFlowIsLocalExclude(Node n1, Node n2)Holds if (n1, n2) should be excluded from the consistency test localFlowIsLocal.
signature predicate localFlowIsLocalExclude(Node n1, Node n2)