fix(dreal/test/smt2/test.py): Remove debug output
fix(dreal/test/smt2/test.py): Remove debug output

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