Finished refactoring of isSuperset.