AlignmentProcessor uses std::set instead of std::vector to store DRs.