adaptation de la nouvelle facon de gerer les SNP (1 seul groupe, tous les types de SNP ensembles) à l'analyse model checking