In the end we are fighting about an almost purely academical problem which has no practical impact...

+1 for not spending much time with similar corner cases. Note that this tck test is very old and it wasn't a problem for OWB before . If there is no agreement a spec issue should be created so that other EG members could comment on the topic, otherwise this challenge should be rejected.