New concolic example
Add trace classification to the concolic mode.