Tests for NullCheck elimination.
