@Override
  public boolean equals(Object o) {
    if (this == o) return true;
    if (!(o instanceof DfaCallState that)) return false;
    return myMemoryState.equals(that.myMemoryState) && myCallArguments.equals(that.myCallArguments);
  }
@Override
  public boolean equals(Object o)