add caseTIRWhileStmt and caseTIRForStmt in IntraproceduralValueAnalysis
/*
 * Intra short for IntraproceduralValueAnalysis
 * NatlabForward short for NatlabAbstractStructuralForwardAnalysis
 */
yea, Ismail is right, we should not add specific analysis method in framework,
my bad, but I feel so weird copy the same code from NatlabForward to Intra
(actually, add a few lines of new code into the old methods), but this should
be the best solution I think, keep framework clean. And remove the static
keyword, the reason why I added static previously, because I wanted to call
dependenceAnalyze() from NatlabForward, I thought I should make the method
a static one.