Start time: 17:36:06
=====================SYMBOL=TABLE===============
[FILE]   = .......The name of the file.............................
[SL]     = .......The slicing lines................................
[CF]     = .......The called functions.............................
[DV]     = .......The dependent variables..........................
[P]      = .......The aliases of the variable......................
[@INDEX] = .......The index of the variable inside the function....
================================================
[FILE]="sum.c/main/i/[@INDEX]:(2), [SL]: 12,14,15,16,17,17,20,[CF]: printf 2,[CF]: add 1,[CF]: add 2,
[FILE]="sum.c/main/sum/[@INDEX]:(1), [SL]: 12,13,16,16,19,[CF]: printf 2,[CF]: add 1,

End time: 17:36:06