Relata um erro que o ModelCHECK foi executado nas representações simplificadas e não nas representações mestres.

Configurações sugeridas: