control flow sensitive checking of nilable values