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