check preservation of path equivalences, check discrete op-fibrations,
tweak graph layout, fix crash on sigma caused by accidentally omitting a
label, profiling indicates it is building the gui that takes up most
execution time