Member predicate ThisParameterInstructionNode::isSourceParameterOf

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