Florencia Zanollo created an issue 2025-05-20 The tool re-compiles and clones the FSPs/automata/LTSs that builds from the specification, several times each.
It may even change the states' number ID
