Stainless stack overflows when using princess

[pgimalac]

Hello,

When I run stainless using --solvers=princess on the code at https://github.com/jacobprudhomme/finger-tree/blob/stainless-slow/src/main/scala/fingertree/FingerTree.scala (which is relatively short), then it stackoverflows.

Here is the stacktrace stainless-stack-trace.txt

It shouldn't be an installation / config issue because it runs fine on other projects.

Here is what I get when running ./stainless.sh --version:

Stainless version: 0.9.7
Built at: 2022-11-22 09:14:21.345+0100
Stainless Scala version: 3.2.0
Bundled Scala compiler: 3.2.0

Let me know if you need more information.

Thanks.