ESPL: Make wildcards explicit
Replace wildcard name hack by proper pattern
Enable visualization for formulas with disjunction
Make dot tool check more resilient
Simplify application of step rules