transitiveness_graph added