Module Functoria_graph.If