tigress --Verbosity=1 \ --Transform=Split --Seed=0 --SplitKinds=deep,block,top --SplitCount=100 --Functions=fib \ --Transform=CleanUp --CleanUpKinds=annotations \ --out=gen/split1.c test1.c