LOW / - Add the number of configuration for abstract transitions
- Add an action on abstract transition to unfold all hiden
configurations