suppressed warnings for smt_model test