[542] % cvc4-1.8 --uf-ho small.smt2
sat
[543] % 
[543] % cvc4 --uf-ho small.smt2
Fatal failure within void CVC4::theory::TheoryModel::assignFunctionDefinition(CVC4::Node, CVC4::Node) at src/theory/theory_model.cpp:672
Check failure
 f_def.isConst()
Non-constant f_def: (lambda ((BOUND_VARIABLE_349 Bool)) (or (not BOUND_VARIABLE_349) BOUND_VARIABLE_349))
Aborted
[544] % 
[544] % cat small.smt2
(set-logic ALL)
(declare-fun a (Bool) Bool)
(assert (a false))
(assert (a true))
(check-sat)
[545] %