Also avoids a failure on a recursive function without specification
(function factorial in file 00168.c).

Adds annotations to disable partitioning in file 00040.c to avoid combinatorial
explosion.