strReduction rule removed