Machines with errors:
| ALLOY_COMPILED_PROVER_CACHING:1 | Exception of type StackOverflowError |
| PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 | Exception of type StackOverflowError |
| PALAMEDES_JOCULAR:0.6.1 | Exception of type StackOverflowError |
| PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 | Exception of type StackOverflowError |