1Tests a regression in which we moved the null check to an instruction which 2checked a different object. This lead to valid null checks being elided. 3