2 date: Mon Jun 4 14:35:43 CEST 2012
4 - support recent clangs
5 - take into account overflows on signed integers
6 - support increment and decrement operation statements
7 - support non-affine conditions in for loops
8 - support while, break and continue
