fixing destruction order in SmtEngine
making sure sat context is zero when user context is popped to 0 in SmtEngine destructor