StaticCheck: generalize state modifications and accesses

[SantiMunin]

There are a lot of lines like CMS.modify ((_, _ c) -> c) and so on.