El valor por defecto es N.

Si se define en Y, las instancias de la tabla de familia se verifican durante el modo ModelCHECK interactivo (ModelCHECK Interactive) y los parámetros de ModelCheck se propagan o actualizan a todas las instancias. Tras ejecutar ModelCHECK, se verifican todas las instancias del modelo vigente y el parámetro de ModelCHECK se propaga a todas ellas.