Improve reachabiliy analysis
Analysing reachabilty of nodes through non-winning nodes during arena construction can take a lot of time, e.g. on ltl2dba_Q_12.tlsf
with options -e pq -c
.
Investige use of fully dynamic single-source reachability algorithms, e.g. from this paper.