@Override
  public @NotNull List<DfaVariableValue> asList() {
    List<DfaVariableValue> vars = new ArrayList<>(size());
    forValues(id -> vars.add((DfaVariableValue)myFactory.getValue(id)));
    return vars;
  }
@Override
  public @NotNull List<DfaVariableValue> asList()