Searching in tests/language_2/least_upper_bound