[model-checking] Опции компилятора