Il valore di default è N.

Se l'opzione è impostata su Y, le varianti di family table vengono controllate nella modalità interattiva di ModelCHECK e i parametri di ModelCHECK vengono propagati/aggiornati in tutte le varianti. Al termine dell'esecuzione di ModelCHECK, ogni variante del modello corrente viene verificata e il parametro di ModelCHECK viene propagato in tutte le varianti.