Added the pre- and postconditions that the list representation of graphs must be
ordered. Using that, I enhanced some implementation and added a function.