Update concolic_search.h