adds support for terminating an execution