Searching in nullability/inference