Searching in pkg/front_end/testcases/nnbd/strong_ok_from_source