Searching in tests/language_2/inference_update_2