Update symbolic_execution.cc