fix typo
dfa: merge states differing in one variable nullability
dfa: don't merge by type states which have different eq states