You state valid points but I wanted to show what the current limitations are: The fact that a previous null checks cannot be propagated to the following lines by the analyzer. This is what needs to be improved imo.