bugfix for SmtEngine: proper unsubscribing for events
new --tear-down-incremental mode