Predicate Cached::isLiveOutRefParameterDefinition
Holds if the SSA definition def assigns to out/ref parameter p, and the
parameter may remain unchanged throughout the rest of the enclosing callable.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate isLiveOutRefParameterDefinition(SsaDefinition def, Parameter p)