Often when trouble shooting constraint issues, I find that I am tracing back the constraints along a sequence of parts to find how the part is ultimately constrained. Ideally, there would be a command that would visualize this sequence of constrained parts. It would isolate the components, then indicate visually what mates are involved, with the sequence ending at the first fully constrained component. See crude attached image.
