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)