This is not a meaningful precondition, possibly it should a check that the table is not empty since it wouldn't make sense to run the changeset if there is nothing to validate