CoreOps.refine_triple and HashSet.map