Test case tweak.
Checkpoint work on posets for DiCE.