OK, I'm leaning towards removing the assertion in 5.3.4.
Rick Gagne still interested in the test case though as I think your case is different from the one mentioned here and in the forum.