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