Mark deferrals bold in graphviz export
Fix inclusion condition for A_x
Make Sat children actually propagate their state to the parents
Preliminarily mark States with no childs Sat in propagateSatMu
Should actually happen when the State changes from `Expandable` to`Open` and trigger the propagateSatMu but for now just do it inpropagateSatMu so we can observe the algorithm working.
Reorganize code, start from Sat nodes as well
Not only finishing cycles but also plain sat nodes may cause a node tobe satisfiable
Restrict finishing nodes used as startingpoint
Only finishing nodes with enough Open / Sat children are to beconsidered as startingpoints
Also accept already Satisfiable nodes when finding paths
Call new propagateSatMu instead of old propagateSat
preliminary propafateSat for μ-Calculus
This still produces wrong results: It assumes every node with emptyfocus to be sat.
Add function to determin size of Core / State set
Also available in: Atom