Clean up unused concolic code.
Clean up unused concolic code.
Clean up unused concolic code.