begin to implement the deterministic mode.
an additional check when leaving the synced context.