The following test case is very sensitive to Z3 seeds and may cause non-termination. - [`all/functions/linkedlists.vpr`](https://github.com/viperproject/silver/blob/63c30b18fdafd81d90eabbc8bccfd13a31becd61/src/test/resources/all/functions/linkedlists.vpr)