feat(util/if_then_else_eliminator): Add counter to name new ite variables
feat(util/if_then_else_eliminator): Add counter to name new ite variables

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