@Override
  public boolean equals(Object o) {
    if (this == o) return true;
    return o instanceof FunExprOccurrence that && argIndex == that.argIndex && referenceContext.equals(that.referenceContext);
  }
@Override
  public boolean equals(Object o)