fix(util/if_then_else_eliminator): Fix bugs
fix(util/if_then_else_eliminator): Fix bugs

soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4