covered increment_version with specs