Searching in tests/language/inference