Simple tests for transitive_closure and reverse_transitive_closure.