a more explicit CommandLog category
DfaVariableValue: cheaper creation, cache negated var
DfaVariableValue: not-null psi, store qualified references in the value itself
dfa: don't create negated value just to flush it
flush code block variables when leaving it via exception route
dfa: closure states have empty stack initially
make peter less worried
extract a useful function from ultimate build script