IIRC it's difficult to walk macroexpanded code in Common Lisp because you have to deal with lots of implementation-specific special forms.
(Edit) This article has some good info: https://zenodo.org/record/3254669#.YL3-WzYzb2w
(Edit) This article has some good info: https://zenodo.org/record/3254669#.YL3-WzYzb2w