Ensure there is at least one CHECK