@Override
  public @NotNull DfaVariableValue getVariable(int index) {
    return (DfaVariableValue)myFactory.getValue(get(index));
  }
@Override
  public @NotNull DfaVariableValue getVariable(int index)