added null guard after object creation in smt_engine.cpp