C-Reduce, a C program reducer