Searching in nullability/formal_methods