transitiveness_graph added
add to-do list