debugging composite state machines
testing debugging of composite state machines