Searching in tests/ui/traits/next-solver