You can also trace methods (primary and auxiliary) within a generic function. The following example shows how to specify any qualifiers and specializers.
(defmethod foo (x)
(print 'there))
(defmethod foo :before ((x integer))
(print 'hello))
(trace (method foo :before (integer)))
CL-USER 226 > (foo 'x)
THERE
THERE
CL-USER 227 > (foo 4)
0 (METHOD FOO :BEFORE (INTEGER)) > (4)
HELLO
0 (METHOD FOO :BEFORE (INTEGER)) < (HELLO)
THERE
THERE
CL-USER 228 >
LispWorks User Guide and Reference Manual - 20 Sep 2017