This reverts commit daaabf41. We have tests for testcase, we shouldn't depend on using arcane features in our definitions for this purpose. Also, this exposes that there still is a bug somewhere (see the FIXME).