Predicate Cached::explicitDefinition
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate explicitDefinition(WriteDefinition def, SourceVariable v, AssignableDefinition ad)import semmle.code.csharp.dataflow.internal.SsaImplpredicate explicitDefinition(WriteDefinition def, SourceVariable v, AssignableDefinition ad)