add variables dependence analysis for loop statements
add analysis in IntraproceduralValueAnalysis, and the analysis is called by
NatlabAbstractStructuralForwardAnalysis caseWhileStmt and caseForStmt,
because Tamer IR calls caseWhileStmt and caseForStmt to handle while and for
loop statements.
add dependence analysis result into Args and update range value analysis
add variables dependence analysis result into Args, so when we propagate
range value information for built-ins inside loop statements, if we know
any argument is in the dependence set, we will push the range value
analysis result to top, which is <-inf,+inf>, and by this way, we can get
fix point for the analysis for loop statements.