- We don't need to listen to name changes anymore (IDs are now the
SUIDs, so names can be whatever the user wants), so we will probably
just not register the listener either
- Small problem with reading the "enabled" property for a node in
StateFormula: it was read uncorrectly (and incredibly so..), now it
works and correctly processes the enabled nodes
- Model checking works properly, also reading resulting traces when
necessary and displaying them as graphs.