  + loop_invgen: Examples from Ashutosh Gupta and Andrey Rybalchenko's InvGen
    test suite (http://pub.ist.ac.at/~agupta/invgen/)
