../src/ast/euf/euf_ac_plugin.cpp:685:17: warning: enumeration value 'is_passive_eq' not handled in switch [-Wswitch]
  685 |         switch (s) {
      |                 ^
../src/ast/euf/euf_ac_plugin.cpp:685:17: note: add missing switch cases
  685 |         switch (s) {
      |                 ^
  686 |         case eq_status::is_processed_eq:
  687 |         case eq_status::is_reducing_eq:
  688 |         case eq_status::is_dead_eq:
  689 |             m_to_simplify_todo.remove(id);
  690 |             break;
  691 |         case eq_status::is_to_simplify_eq:
  692 |             m_to_simplify_todo.insert(id);
  693 |             if (!orient_equation(eq)) {
  694 |                 set_status(id, eq_status::is_dead_eq);
  695 |             }
  696 |             break;
  697 |         }