(set-logic ALL)
(set-option :sygus-inference true)
(set-option :uf-ho true)
(set-option :sygus-ext-rew false)
(set-info :status sat)
(declare-fun a (Int) Int)
(declare-fun b (Int) Int)
(declare-fun c (Int) Int)
(declare-fun d () Int)
(assert (distinct a (ite (= d 0) b c)))
(assert (= (a 0) 4))
(check-sat)