Predicate signature TypeTracking::ConsistencyChecksInputSig::unreachableNodeExclude
Holds if n
should be excluded from the consistency test unreachableNode
.
signature predicate unreachableNodeExclude(Node n)
Holds if n
should be excluded from the consistency test unreachableNode
.
signature predicate unreachableNodeExclude(Node n)