Regression test for #46

tests/sat/issue_46.smt2

+(set-logic ALL)
+(set-info :smt-lib-version 2.6)
+(declare-const modes_on Bool)
+(declare-const unit_delay_memory Bool)
+(assert
+(not
+(= (ite (= unit_delay_memory true) true (ite (= modes_on true) false true)) true)))
+(check-sat)