bool flatten: node num_children workaround
fixing destruction order in SmtEngine
making sure sat context is zero when user context is popped to 0 in SmtEngine destructor