Test case sensitive to Z3 seeds

[Dev-XYS]

The following test case is very sensitive to Z3 seeds and may cause non-termination.

• all/functions/linkedlists.vpr

[alexanderjsummers]

This is good to know! I think that was the example that tripped up on my pull request for a long time (presumably for unrelated reasons)

[alexanderjsummers]

@JonasAlaif is it possible this test case was found to have a matching loop in your SMTScope evaluation?