I have a problem with visualising large number of code in ProB.
This graph shows the login section of a server with (using Graphviz' dotty) of ProB, but there is no solution for large number of code to get the graph.
Please let me know your suggestions and ideas,
