Searching in tests/language_2/instantiate_to_bound