1Tests that BoundType created for if-not-null does not force untyped loop phis
2to Object.