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