@Override
  public List<DfaVariableValue> getWrittenVariables(DfaValueFactory factory) {
    return ContainerUtil.createMaybeSingletonList(tryCast(myAssignedValue, DfaVariableValue.class));
  }
@Override
  public List<DfaVariableValue> getWrittenVariables(DfaValueFactory factory)