More concolic examples.
Fix bug in trace display of multi-line alert messages and improve display of large branches.