[DivergenceAnalysis] fix a bug in computing influence regions