Searching in tests/ui/specialization/coherence