Fixed: unordered_set not supported by CATARINa