restate is finished check in OpOrdering
beta