Added symbolic input names to graph display.
Concolic mode can make the initial submission and choose a target PC.