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)