Checks if an update is necessary, i.e., if other contains nodes which are not present in this and if the lattice element of a node in other "is bigger" than the respective lattice element in this. It does not modify anything.
this