In addition to the inherent utility of being able to limit a smart list to be a subset of another list (or only consider tracks OUTSIDE another list), some of the current shortcomings of smart lists (like the limited combination of OR and AND, or the limited number of criteria per smart list) would be solved instantly.
Avoiding recursions in this scenario should be possible by checking for cyclical graphs or something like that, right?