Evaluate transitions from innermost active state

Evaluate transitions from innermost active state rather than the
outermost; now compliant with UML spec in this respect
Fixes #7