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