update engine for preprocess to respect the SMTCOMP rules