@Override
  public List<DfaVariableValue> getWrittenVariables(DfaValueFactory factory) {
    return ContainerUtil.createMaybeSingletonList(myStaticVariable);
  }
@Override
  public List<DfaVariableValue> getWrittenVariables(DfaValueFactory factory)