Added checking for null expression in smtengine.cpp