A set of tools for preparing C files for regression verification.

-- CheckMain
extracts computations from the main function of the program into a
separate function check_main. Parameters of the function are all values
read by scanf, an for each printf a return statement is generated.
-- CheckMainArray
a variant of the previous program that extracts a function returning
multiple values. The values are returned by writing into an array
that is a function parameter.
-- CommentMain
comments the main function
-- Recurser
program which converts all loops into recursive functions, replaces 
recursive calls by uninterpreted function calls, and inlines the code
back. In the preprocessing for loops are converted to while loops, and
return statements are pulled out of the loops. The program always
performes a single transformation, and multiple transformations can be
achieved by calling the program multiple times.

Usage:
./<program>.exe <input-file> --
  
