UML statechart diagrams are widely used in spec-ification of software behaviour. For various reasons, during statechart design process, detrimental sections can be introduced in the statechart design ...