How would you check for preconditions?
The test would actually fail a a point that you end up not knowing what caused the error - the violated precondition or the executed update.