Use more readable output format in Lts.toString
Find redundant transitions in 2 steps instead of 3
Check for weak internal transitions only once
Merge branch 'master' of https://github.com/JTSkywalker/NP-PraPro