C-Reduce, a C program reducer - View it on GitHub