Formation of cyclic pattern: automatic generation of set of orthogonal patterns.

[feret]

Set of orthogonal patterns allows for the design of specific abstraction tailored to the formation of a given pattern. We should inspect the rhs of rules for cyclic patterns, and introduce one orthogonal pattern for each one, so as to infer if only the cyclic pattern may be build, or if unfolded forms may occur as well.

[feret]

Aurélie has built the decision tree. I still have to plug everything with the rest of the analysis.