note description: "For testing bugs of the Eiffel Inspector" class CAT_BUGS [G] feature internal_traverse (a_root_object: ANY) local l_object: separate ANY do if attached {SPECIAL [ANY]} l_object as l_sp then end end end