internal error: sequence memory overflow

Bonjour.

Comme l'indique le titre, lors de la vérification d'une machine (niveau F0), j'obtiens l'erreur suivante :

Citation:

---

PO Generator: internal error
sequence memory overflow, aborting current level

---

Le problème est le suivant :

• j'ai par exemple un ensemble de machine avec inclusion dans la finale est M1
• M2 inclus deux fois M1 via renommage (INCLUDES un.M1, deux.M1)

dans M2, si je fais (X étant une opération de M1)

• un.X, cela vérifie normalement
• deux.X, cela vérifie normalement
• un.X || deux.X, cela bloque avec ladite erreur.

Sachant que j'ai passé l'option m à 40000000 au lieu de 10000000, j'ai bien peur que la double inclusion ne pourra jamais être validée pour ce projet ou je me trompe ?

Merci pour votre aide.