The first thing that is done is RebuildTests is invoked which guarantees non-nullity of rootTests. It's probably better to be safe than sorry and keep that invariant true.