#state-delta-assertion