fix(smt2/driver.cc): DeclareLocalVariable declare non-model variables
fix(smt2/driver.cc): DeclareLocalVariable declare non-model variables

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