Make proper statement about LazySetTransitivityTest.