nvda

27e69968 - core.py: remove duplicate termination code by adding a new _terminate helper function. Patch from #3154 but also terminate treeInterceptorHandler in this fassion. Fixes #3154