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