Update concolic_search.cc