this.dzn_runtime.flush(this,dzn.pump.coroutine_id(dzn_locator));