progs/trivial: test case for dlist statechange elimination