Predicate Make::Private::summaryAllowParameterReturnInSelf
Holds if flow is allowed to pass from the parameter at position pos of c,
to a return node, and back out to the parameter.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryAllowParameterReturnInSelf(SummarizedCallable c, ParameterPosition ppos)