Predicate signature InputSig::uniqueParameterNodePositionExclude
Holds if (c, pos, p)
should be excluded from the consistency test uniqueParameterNodePosition
.
signature predicate uniqueParameterNodePositionExclude(DataFlowCallable c, ParameterPosition pos, Node p)