Predicate signature InputSig::argHasPostUpdateExclude
Holds if n should be excluded from the consistency test argHasPostUpdate.
signature predicate argHasPostUpdateExclude(ArgumentNode n)Holds if n should be excluded from the consistency test argHasPostUpdate.
signature predicate argHasPostUpdateExclude(ArgumentNode n)