Member predicate SummaryParameterNode::isSummaryParameterOf

Holds if this node is the parameter of sc at the specified position. The implicit this parameter is considered to have position -1, and pointer-indirection parameters are at further negative positions.