Fixed bug in Redefinition::getRedef
Added SymbolicRangeAnalysis class