Is it insufficient to update it only when we change `context`? (in the `ChangeContextException` clause)