1Tests for NullCheck elimination.
2