Update symbolic_runner.cpp