Transitive Closure Of A Graph