Unnecessary loops in dependency graphs

When generating the dependency graph of an AVATAR model with a state s and a transition between this state and itself, featuring an input action on signal, we find an unnecessary loop on the vertex representing s in the dependency graph. superfluousTransition.xml