PR# 19294 Incorrect report of code analysis rule CA031 violation

The Eiffel Inspector reports a violation of rule CA031 (unnecessary explicit inheritance from ANY).
But removing the inheritance causes the compiler to report VUEX(2) errors on deep_copy, is_deep_equal, and standard_is_equal.

The class in question starts like this:

deferred class
        CUST_WO_CHARGE_UTILITIES_INTERFACE

inherit
        ANY
        DB_QUERY_OPTIONS
	        export
                        {NONE} all
		end

feature

-- Rest of class omitted


I have full_class_checking="true" in the .ecf file, in case that matters.

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