Searching in tests/ui/coinduction