anchor.diff:    void handleStaticLoad(MemberEntity element, HInstruction instruction) {
       HInstruction existing = memorySet.lookupFieldValue(element, null);
       if (existing != null) {
  +      checkNewGvnCandidates(instruction, existing);
         instruction.block.rewriteWithBetterUser(instruction, existing);
         instruction.block.remove(instruction);
       } else {
  
positive.code:     HInstruction existing =
          memorySet.lookupKeyedValue(receiver, instruction.index);
      if (existing != null) {
        instruction.block.rewriteWithBetterUser(instruction, existing);
        instruction.block.remove(instruction);
      } else {
  
negative.code:       MemberEntity element, HInstruction receiver, HInstruction instruction) {
      HInstruction existing = memorySet.lookupFieldValue(element, receiver);
      if (existing != null) {
        checkNewGvnCandidates(instruction, existing);
        instruction.block.rewriteWithBetterUser(instruction, existing);
        instruction.block.remove(instruction);
      } else {
  