Member predicate IR::Instruction::writesField
Holds if this instruction updates the value of field f on the value of base.
predicate writesField(Instruction base, Field f, Instruction rhs)Holds if this instruction updates the value of field f on the value of base.
predicate writesField(Instruction base, Field f, Instruction rhs)