let trbar = Util.Progress.create "Defaultgraph.GraphOper.transitive_reduction"