modelcheck verification du non d'un composant dans un assemblage

Bonjour

est ce que Modelcheck peut vérifier le nom d'un composant dans un assemblage afin qu'il indique une erreur si tel composant est assemblé.

Merci

Cordialement

Philippe B