. the same state was used for the src and the tgt of the transition
. the label of the transition was not unreferenced.

Initial partition was lost by the original algorithm.

A parameter was created several times.

. memory leak fixed in sequence generator, some states were lost.
. in sequence generator, the callback passed to ccl_graph_dfs returned a bad code that forbid the visit of parts of the dependency graph.

Bug fixed: the constraint automaton was not computed from the flatten semantics but on the node itself.

a node on its controller.

add accessor to DD of guards