concolic testing + dReal