Module that implements graphs and checks some properties.