Test non-emptiness of state diffs