Use AlgoW that updates on every unify

* Remove obsolete comment