Adds newNode and the state to the globalState (i.e., computes the State.lub of the current state there and state). Returns true if there was an update.