These tests uncover a couple of issues in evaluation: https://github.com/diffblue/cbmc/pull/6300#pullrequestreview-741844376
These tests uncover a couple of issues in evaluation:
#6300 (review)