Label reduction rule names, put tests in a function