11506 smatch resync

*** 51,60 ****
--- 51,62 ----
          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,81 ****
--- 74,84 ----
  
  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);
  }