Fix test to use renamed semirings