Added the assert_label to enable/disable assertion. If the assertion is
enabled, then the analyzer avoids inserting the constraints or branching
the constraint list.