@Override
    public MyData fun(@NotNull MyData e, @NotNull Instruction instruction) {
      if (instruction instanceof ReadWriteVariableInstruction && ((ReadWriteVariableInstruction)instruction).isWrite()) {
        return e.add(((ReadWriteVariableInstruction)instruction).getDescriptor());
      } else {
        return e;
      }
    }
@Override
    public MyData fun(@NotNull MyData e, @NotNull Instruction instruction)