@Override
  public DefinitionMap fun(@NotNull DefinitionMap m, @NotNull Instruction instruction) {
    if (instruction instanceof ReadWriteVariableInstruction varInsn) {
      final int descriptor = varInsn.getDescriptor();
      if (varInsn.isWrite()) {
        return m.withRegisteredDef(descriptor, instruction);
      } else {
        return m;
      }
    } else {
      return m;
    }
  }
@Override
  public DefinitionMap fun(@NotNull DefinitionMap m, @NotNull Instruction instruction)