VcsDirtyScopeManagerImpl: log who marks everything dirty
dfa: state merging interruptibility