ASSERTION VIOLATION at ./src/ast/ast.cpp, Line: 2858

[zhendongsu]

Commit: 6249078
OS: Ubuntu 18.04

[550] % z3debug small.smt2 
ASSERTION VIOLATION
File: ../src/ast/ast.cpp
Line: 2858
to_app(get_fact(p1))->get_arg(1) == to_app(get_fact(p2))->get_arg(0)
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
a
[551] % cat small.smt2 
(set-option :rewriter.elim_and true)
(set-option :proof true)
(declare-fun a (Bool Bool) Bool)
(declare-fun b () Bool)
(assert (not (forall ((c Bool)) (and (= b (a c (a b b))) (forall ((d Bool)) (= b (a d (a b b))))))))
(check-sat)