Member predicate IR::Instruction::readsMethod
Holds if this instruction looks up method m on the value of receiver.
predicate readsMethod(Instruction receiver, Method m)Holds if this instruction looks up method m on the value of receiver.
predicate readsMethod(Instruction receiver, Method m)