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