Predicate Cached::updatesNamedFieldOrProp
Holds if call may change the value of field or property fp. The actual
update occurs in setter.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate updatesNamedFieldOrProp(BasicBlock bb, int i, Call c, FieldOrPropSourceVariable fp, Callable setter)