Make VictimsRecord.containsAll override friendly