Is the list returned by functions SPECIALIZER-DIRECT-METHODS and GENERIC-FUNCTION-METHODS intended to include effective methods, or just the explicitly defined methods?