Problem is still present in Eiffel 18.07.  Most instances reported on our code are false positives.