* when merging dfa states, check that they're really equal after stripping complementary facts (there might be additional info in subclasses) * merge in separate groups in one go
peter