ltsview no longer shows deadlocks

[gjveltink]

The "ltsview" in the most recent version of the tool set no longer shows deadlock states.

I normally use ltsview during my lectures to quickly show a deadlock state.
However, this is no longer working in the 2024 version of the toolset.
It is not the case that the deadlock state is no longer flagged as "red", rather the entire deadlock state is missing! ;-)

Simple example:

act a, b, c;
init a . b . delta + b . delta + c;