Module Owl_algodiff_graph_convert