Added sequential rewriters for comparison