Как визуализировать большое количество кода в Pro-B

Question

У меня проблема с визуализацией большого количества кода в ProB. На этом графике показан раздел входа в систему сервера с (используя dotv от Graphviz) ProB, но не существует решения для большого количества кода для получения графика. Пожалуйста, дайте мне знать ваши предложения и идеи,