is assert not null a too weak check condition?