Проверяются и удаляются нежелательные уравнения в модели. Нежелательные уравнения указываются в файле конфигурации запуска с помощью опций конфигурации запуска PRT_REL_UNWANTED и ASM_REL_UNWANTED.