Began refactoring of the concolic mode.

So far this is just extracting some of the big blocks into their own methods to try and make things a bit more manageable. I think we will need some more serious work as well.
Fix a bug where duplicate symbolic variables would be listed in concolic mode.