Convertit la substitution incluse dans la sélection si cette dernière
est primitive ou convertie la sélection en choix borné si elle
est non primitive.
Implémentation de la commande
"cp nom1 nom2"
Elle copie le composant "nom1" du projet en créant un composant
de nom "nom2" ainsi que son fichier associé (renommé de manière
cohérente).
retourne vrai s'il n'y a pas de composant qui depend du
composant "nom", ou s'il y a des composants qui dépendent de "nom
et que l'utilisateur a confirmé de le supprimer quand même.
Pour initialiser le composant courant
Pour les calculs dans certaines substitutions, cette variable doit
être impérativement à jour (exemple, s'il faut avoir la liste des
variables de l'espace d'état : calcul du prd)
Aplatissement pour traiter AssertSansRenommage
Si l'assertion est de la forme ASSERT Q THEN S END alors, si les
prédicats Q1 ne dépendent pas de vv et les prédicats Q2 dépendent de vv,
avec Q <=> Q1 & Q2, on obtient ASSERT Q1 & #vv.