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