@Override
  public List<DfaVariableValue> getRequiredVariables(DfaValueFactory factory) {
    return StreamEx.of(factory.getValues()).select(DfaVariableValue.class)
      .filter(var -> var.getPsiVariable() instanceof PsiMember).toList();
  }
@Override
  public List<DfaVariableValue> getRequiredVariables(DfaValueFactory factory)