Yeah... It would perhaps be possible to write a test in the TCK, that would verify this... I'll try to think of something like that