Fix bug in concolic search procedure where newly added traces would not be correctly explored.
Fix bug in trace display of symbolic branches.