Bugfix for SmtEngine: proper unsubscribing for NodeManager events