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