11506 smatch resync

@@ -51,10 +51,12 @@
         set_state(my_id, sm->name, sm->sym, alloc_estate_empty());
 }
 
 void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list *false_rl)
 {
+        if (__in_pre_condition)
+                return;
         set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl));
 }
 
 int get_imaginary_absolute(struct expression *expr, struct range_list **rl)
 {

@@ -72,10 +74,11 @@
 
 void register_imaginary_absolute(int id)
 {
         my_id = id;
 
+        set_dynamic_states(my_id);
         add_unmatched_state_hook(my_id, &empty_state);
         add_merge_hook(my_id, &merge_is_empty);
         add_modification_hook(my_id, &reset);
 }