prepared automatic testing of transitive closure