may be `const std::vector<ViolationSet*>& ResultCollector::getCollection() const`