Yes, I have a similar test case for inherited assertions:

  https://github.com/gobo-eiffel/gobo/tree/master/library/tools/test/eiffel/validity/vuno3/test16

I did not send it to the initial bug report because I thought that if one is fixed, the other one would be fixed as well.

--
Eric Bezault