Delete symbolic_execution.cc