To further speedup incremental updates, mostly the cleanup phase,
keep track of affected nodes (both by update and by adjusting) and unify only those.
...includes some refactoring
To further speedup incremental updates, mostly the cleanup phase,
keep track of affected nodes (both by update and by adjusting) and unify only those.
...includes some refactoring