CC infix rule no 37 : rerata -> rata