Added LabelAnalyzer and ReturnAnalyzer and changed the HashMap to take
the label value as key and constraint list as the value for branching
the ifelse constraint list.