terminated executions are now also removed from the map