fix(util/tseitin_cnfizer.h): Use std::map to ensure reproducibility
fix(util/tseitin_cnfizer.h): Use std::map to ensure reproducibility

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