For non-nullability analysis
For non-nullability analysis