@Override
    public Boolean fun(@NotNull Boolean e, @NotNull Instruction instruction) {
      if (instruction instanceof ReadWriteVariableInstruction &&
          ((ReadWriteVariableInstruction)instruction).getDescriptor() == myVar) {
        return true;
      }
      return e;
    }
@Override
    public Boolean fun(@NotNull Boolean e, @NotNull Instruction instruction)