drop duplicate atoms
hanwen opened this issue · comments
we create as many matchtrees as atoms, so [ A A A ] is 3x slower to match than [ A ]
This is probably impossible to do with the new iterator structure, since
a AND (or (... (NOT a) ... )
would advance the iterators for a in different contexts.