Remove the use of 'static' modifier for constraintlistMap variable of
Analyzer so that each instance of Analyzer has its own constraint list.