Regression test that catches missing «cleanup».

In the kernel, some of our automata lose the «cleanup» tag from their closing-bound events. This regression test catches one such example.

It currently fails and is thus marked XFAIL.