Add example graphs from DCms
Use better names in RedundantTransitionRemover
Make Lts thread save
In WeakLtsCalculator add transitions concurrently