Added Transitive Closure semiring