More pretty-printing, this time we are able to show all the
transitions as well.