tigress --Verbosity=1 \ --Transform=Split --Seed=0 --SplitKinds=block,top,deep --SplitCount=10 --Functions=fib --SplitName=SPLIT \ --Transform=Split --Seed=0 --SplitKinds=block --SplitCount=10 --Functions=/.\*SPLIT.\*/ \ --Transform=CleanUp --CleanUpKinds=annotations \ --out=gen/split2.c test1.c