Examples that were used in the following paper
2011RTA - Falke,Kapur,Sinz - Termination Analysis of C Programs Using Compiler Intermediate Languages
http://baldur.iti.uka.de/~falke/kittel/rta-2011/