code: function diffWithModel (modelNode, state, lastState, address,
                          triggeringAddress) {
    return match(modelNode, match_diffWithModel, null, modelNode, state,
                 lastState, address, triggeringAddress)
  }
docs: Compute the full diff tree for the model node. Calls shouldUpdate.