Thanks for the explanation. If I understand correctly, this is an optimization, basically eliminating projects that could never, ever, reference the given symbol. Sounds good, but I think we should keep in mind that the classpath could help here.