Searching in pkg/front_end/testcases/instantiate_to_bound