1. consider reads of fields from the same file "stable" just like functions, i.e. assume their nullability information is correct 2. apply if-null fusion repeatedly until the subject is no longer a nested if-null expression
pyos