Pushes newNode and the state to the worklist or updates the currently available entry for the node. Returns true if there was a change which means that the node has to be analyzed. If it returns false, the newNode wasn't added to the worklist as the state didn't change.