resolved problem in smt_engine.cpp