finally find an ideal place to insert variable dependence analysis for loops
insert dependece analysis for loop statements, like while and for, in
IntraproceduralValueAnalysis, which will not change anything in McSAF IR.
update toString method in BasicMatrixValue to print symbolic info if it has.