clean up TransitiveClosure