Holds if flow is allowed to pass from parameter
p and back to itself as a
side-effect, resulting in a summary from
p to itself.
One example would be to allow flow like
p.foo = p.bar;, which is disallowed
by default as a heuristic.
predicate allowParameterReturnInSelf ( ParameterNode p )