Predicate signature InputSig::postHasUniquePreExclude
Holds if n should be excluded from the consistency test postHasUniquePre.
signature predicate postHasUniquePreExclude(PostUpdateNode n)Holds if n should be excluded from the consistency test postHasUniquePre.
signature predicate postHasUniquePreExclude(PostUpdateNode n)