Debug en cours, ajout de la semantique lors de la generation de systemes