Add a codecheck rule which checks where a.empty() could be used instead of a.size()
Add a codecheck rule which checks where a.empty() could be used instead of a.size()