Checked failure도 상태 요구에 따라 rollback할 수 있다
문법적 분류보다 함께 남아야 하는 row를 먼저 결정한다.
1. Write
core 변경
2. Secondary work
checked failure
3. Apply rule
rollbackFor
4. Observe
row 0