Describir: Formalization of graphs in Dafny