Dear William,

This issue is indeed an annoying issue, however it will not be solve in the near future as it is quite complex to solve without having significant performance loss.
And also this pattern is not that frequent in usual project.
This issue exists also in other Eiffel implementation such as GoboEiffel.

When we find a proper solution, we will let you know.