dfa: don't multiply eq classes until really needed
more concise DfaVariableState.toString
dfa: cleanup block local variables when exiting it