[987] % z3 small.smt2
ASSERTION VIOLATION
File: ../src/muz/base/dl_rule.h
Line: 88
UNREACHABLE CODE WAS REACHED.
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
a
[988] % 
[988] % cat small.smt2
(assert (distinct (lambda ((a Int)) 0)))
(check-sat-using horn)
[989] %