Wiktionary
grain refiner
n. (context engineering English) An alloyant used to refine grains in a cast macrostructure