(assert
 (forall ((a Real))
  (exists ((b Real))
   (forall ((c Real))
    (exists ((d Real))
     (forall ((e Real))
      (exists ((f Real))
       (and (< e c) (or (= a 0) (= f d))))))))))
(assert (exists ((g Real)) (< g 0)))
(check-sat-using horn)

ASSERTION VIOLATION
File: ../src/ast/rewriter/th_rewriter.cpp
Line: 696
old_q->get_expr() == new_body
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB