let
tr_timer =
Util
.
Timer
.create
"Defaultgraph.GraphOper.transitive_reduction"