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