feat(util/if_then_else_eliminator): Use include_ite to speed-up
feat(util/if_then_else_eliminator): Use include_ite to speed-up

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