Support ThreeActorsTest
LazySetTransitivityTest.